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 **G3 D  Selection_Heap_Sort:threads=2elapsed=10.667cpu=20.232gc=0.908factor=1.907zXZִF! @a]ŗXf1-/6vR[]_ʥ4*M[#Z?*0/,gr~YgRDP}{zEқrl&+$7 !"ĊHD龠Ѓ۴ m?:D{MMCzLA[F^Ee7 V 4@sՈ =Ħ^ h_ *P6BPύ']i0zþS [05v,OG81p+ɰ i@Fɿ%RkPw m39N̘g|: PRa]+grd\ mЩ9OKBH7ro Sdh'nMx98b:w>.Bv7F6O#\(Ƴ}x*Q9 1eʰ(>frKםL!/ZYUKsAv5 }^87q e|&̞*пIz#R(u^TY{ckgF XA-߾7Òw铳)>ek=!<[eR>Z_-0~d M]Ph7,{Ƴ骝 3 Selection_Heap_SortEJs/9q7ŠǪx.42LJ=7?:H'iAl,^z<@t5(RKdTE8ޤuWx/-Aas7X3z20 kTh|)?uuXpAE2)k x}i9U97=1k­Dvv)$*NjXS3/NMژO+#1TFxKCǵL3:މ 7P2\P0&C`jBѦ!+?DUؒhHةn9n&ŴdY˖BWQRӲ!"޵.낭>6(n6N_rfzAKv|!8 L6 WO tBgYZ7zXZִF! <E]ŗXi% ~:81ʠA-Xh\]RG74ŃӨbgjkW2>Bު*W "Qrp K_-XF+'HI힞b(> l Tb0Ҋd0 g--\E,ؚs.ѝ:}vѰno L7QSSqD[8bˤ6< 3Ex !MFO }CG\rϡTb-K,IɅ2^̲T8Vbt_4^4-">9j@b')_xz3.BF80teA%s*kRx]3e\QfkD *C|syNZ1 IAmB֎AGIdDk !"J,O /nX7lz'GEW xzAPx+xCw(չV/MpAE1'cp?,U]gQR[ aIHZwի h)cq^Iq ]wtl'ܛa\gjBZ1C%'DS,l؎O=_Gj[|@T76B44)VOqOd[x\9ygYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d9543470d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91