SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info JJ'% << S Latin_Square:threads=2elapsed=9.897cpu=14.192gc=0.200factor=1.437zXZִF! .V]ŗXf1-/6vRZ({2|:gHcp A̴z#Lprsx}ɜgck քStØE(M Q!*3x@G} I4&Z>^˴|T$+y?B4Y[7L>a`,:rYZ`ΊX6˲n檾?PQb [(gHi8!iT/pQMh6T{k* Bb)Vxb؜i**c5mH'1}޳E뿗!"ʎ i HJsqnX|t@[K9J4܌$IsMhM5f?NDP%R'{j,ǭlߡ*k0Ov7$'mEʉL,$rW.NW|"4ahc;) at8(4&O+OG$? Z>ٚ)X+p a{ԥ?@NKΗē̽Me ;$ (oԂd58 ?@]gYZ7zXZִF! 8"V]ŗXi%HmS>>GjwG' x1i1_foc~KR_Bv[dYO1 %.&n%.ܦDƵ?oaMrt9Ϯޙ鄔ᰩ}QȁT~GDcĞތ !Yt]UR4xz6w!d+?q0θV4L"/VOt ?HZO0 ī'9S^.׷t o~Cw:}f4\nS4:RX0RnB%%DMob eb13( 2սpǹc |P9Qrmʴ(CGk>$yS/LTgnQ9#5rXz}^WR72#M4LJyz)e͉>,;tn>eX ]ƨy8' cL1!vNLԺ^8fQϜ<-%xhѰlYz=%uk^eYqm)ʑ ̑PW31% 6/U!ԌтƘ@ P.j!z4|ξ^IK(䈎zfawhQ)B)߇Q(LEז *i!e0=2$2pO ob3BL IW@ÄAFF"U?YzZxLK^K4g]H5o y^tJ/kpRo5Ƞ 'yV~"{pG`gYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 7686dcdcaa05850d44ff09f9e72973bb5f66a5bb