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 1 T / Recursion-Theory-I:threads=2elapsed=16.704cpu=31.432gc=1.380factor=1.887zXZ 1 Recursion-Theory-IִF! k@]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EW{5?)S'tJFMj[N¥ET `hG1p5G"UthH|u|&Qm3-0|zqggJ|\K~[uprʡ ]J|Q!-B>h6J7EvB܅)b$c\as~] livay@t/ٚ$'D,-Q&i'ajI?ύ>| VPaD#V~}q RI{obG+pZR*ۺgA"Iu0͂0v#pY0RKxL<'K#noayebH d:G5UF&V&xsm7niv_SC8Ndclm&>2Zo w676Up>qdu)T­&k{ sGAl һ*!t -?Y}oL:Pi=(*}h~Vl4j3t>-P\AmqA4?CE0aNU֓2^1_Cx~bg ar6Jv=NmM!a+<5-hy0IQE"eME&ylL7G.DoZlTK Rg+8 /N (Xy: Lfb\Ip ޱ*ֽ*W_C ++ Cg4h|>U"wQ)Xj3A~ 6^MjBybWS5QrF+߭Q̍?<7罼uz` Y ()XGz T6Vol>}# 2jWz Yh3 ܣg1#Pruhd]=sHm<}DH5ꏟ4 f~INz1[9I͊4g`nT6 K^$R7|t9\(RՁ@L0[o)L%`ւ j"ZmhD='V3(/WA}bvd[ ^RShM-x.Hd#+pt8hWؔ+F{m!H4TKYVi&Cc>=G7gYZ7zXZִF! `la]ŗXi%R4nЊ o,XʶFQ_d]1l}jC=dOhje:C/ ^}o[Kh(0Yx ͎ݗ1Ծd20ۀd =3Ƽ?tـAH]gI/X21 vfA9(uhO[D^d~tT3w)Fc($ `܁s",(z c)URYH:Yu[Qr4OBz ƣ6'Őj ʉ݊]ܬ3eaH A3rO P*'ÃW٭3?'SE@,!HV,\0^ vsu6骨9~`Hʼ?Ĺܤ(D\L#ﳱ nhKl } (!@ւ2\2C&fkUw@n]$.Y)=x[|*#zwH\/Q`u 44MeQUnoTSaV8?08_zdnDV`G>poov`fjTsŹ ƔLv]09cn =ϡ-OEvI.qǛ.*u:UF%[q\ ;PScbzlHj>7ޚ*[e(3\z Nm;08GH7 'g N>ĿQW㊱kClq+ 7s;$bM S~$߈# $`});31W <qKBɠ2n82M8xI]L4^S2&-$.h7 ->\h5'=4Kmt}elMfr _HgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4