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 ii1 \T % Stream_Fusion_Code:threads=2elapsed=16.738cpu=31.960gc=1.556factor=1.917zXZִF! w%]ŗXf1- 1 Stream_Fusion_Code/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ( # <~㎴#Q$H괬~}T&'㨺L#HlނRv&(+C% FG!¶RykdqHHh;r2%*ø %J;pKt`_`X8qkӿ"VNؽR­cy&p36 χsN:rŀ"V?PIeV58t]3fDܩq4 e~_.Y1^cek9P7MR6yrҴvfΛ]l9VX>mvado3^>Cr}xjc36,P C8<^>o]$RtscXvWmDwwxDW*$s FKfPG@5`9y~ k2[ L>CNYdUrE֕4w݃+(,/=?oĶz܏ŵ"V\0o)&m8|!]H$ލse݈ff\)GZՔIGv>)mh86K]EϐRIw2HgƜ63telв x=)hwg#85Ԇ ~n1`8 AF(Pg. BXt]v}GfLj{xut-΋ ͎} ªv~woJJLt)n&yh9q3r]jDRbGAD/}^탅>X/0/0߁6͈FL˼}g3  7فFLOoc  4|M/#D ߄[*X Al@h`E_o|!Zbc t:8K&z_'O3_+ U} ;YRQ@>vУ10(/[sp?q|,ޤ<1P1"X夳v0Pv?Q~*13KVg{VW(] gՊFAP1 1n ˵Gk?Sx'(46H )cZX'hLO(@%Ok+1l?wpR#g 3x?L=͸ (Ys|} JO+85"69|ب B) t!I@rf{=`39?= &gG ޭtx9>I:h&kzV 99z<ס:Π&m:CQf#;R8 *1 p3(x+9EݗQ\O*cx04JmZ箑˄*}- /{PsC-uP֊;KL4ꓚTIKe%&쐁ZNto5 X)Hk  7JUW]ț9!`sȮOK p +% ?l9 c|j$&-'vࠡPA~8͹H.piҡuɓp`>[AHeq/37 L|9ã{̽ؽXˆa]go{WЃRAu}j‡0 pO⯲fkzz=m֔ ,M^ f9Tj7Tay= .UuI,]/-ϳG5aMޕsђ5BSԊ%gz@Tĝ}1HIN6>60]NWaƬŅXy VrÒj/':[G J-|b NXo69pKB3"/* t2gYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054 f52deb806ad308fd2966c8dd033a001c0a5d3bf83b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8 4f9863f5586959fc8a37358b67fa6d696c492b95