SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  7BnL?,S~y lVoeN aAbԥeZ>vDRf+O k 8tf682z 4@01@{|(]n4}>?kuʓe*m!a(_{Tm-gg^ߣ]If=iV6C i}*73XMp^8]S=~#wi54]$sv{QɜX9#f}k$폅m zX'Y)΍櫇t#& h_IoinHvjұofETQ8a%zŽmJg40e8i0LAh1TK.~YQ2G#N^#Ûv|@WG$q{eУf1VЊ j_wEgywO0TÔ|(R|C]t$DI6S~XJ?F\_X[ ЃU2Ծaq n`x]Qrv檐,,"Bi9>w'Իy@`PG#PT$WwKDwT@=GO17<p|=RYv)5?ǑUW6L0{t&/{њNNI:9S)si1E} >g|RzaVk㯔DW6f spu$ b(M'NKdasT|Lj=Ju ]& cv^ sEf0OW20篘4W  JK4i!c&qF9 `Wft|;|| CY`~g 㜬/*F(j|9.rt{7PJ;Բct'Ҍ.غkDX🨲tNϾAm$N mbGFz`9hxrbYOG _ӡ,? ?ZHZ]Cۮ:uI A_"JFW{K'Y}gYZ7zXZִF! tD-]ŗXi% ,Ļğ W_]BS1pvb34W&jO8B#+POz gf~##pcG#DŽ w$OfwjN{na996ٚcŒ]@@Ê _U;"ksw{kpUm˰IYN~qL8$*JZչr׼r#یKpf\y8K2Joߴ/G6-x.˃A%M<Ri\9nǜƇjj ]J:67}RKH'٥)G +_󝹈?2 ^0Ql0Ofnz׃(\]tk![ f)=2݀ {uSp^"O%E]`Q1\+03>V-;&U@5Ԭ7G)TU1{0qg)^YzRk*=RJJ93EIM z'S"D7IA(stAcPK/D6{}^pr2<!SOf)^[EnFU0c_װ#Cm+<GR6 tz.6Դ[8EKGȰD@i$Cն5_wJ &AAc_t.re'GB5ڞPoS~;Ǚx0GRWDɇjM\ vK_8QJ|›wmcOSHTp …&,= c0³ 2^SqrïG~f:-YLʆ[,S7mFju4E`^ v!6 Vb=BY86O<@X$jlA}NՒ>my>=z{/ # )meiS%z<2˔bmPe ʊwE^>j&1{jPNI]MuZα={+I\]gnں;1[5] wǥcs^$ ig[R%|+C!f |(n@2@ⓂrhSfح䄁AS k )x,;a62Y0-? qLp6TɱN½<5*E#UeW7ͤ^#Ҿ,};,sq`NC/=o)|ث̍(>kC/Tׄ#G/ҷ0㈓5ZG.SpϛUmI`dr?`r,{2)^xp ,SZgWpLv$L`>-Ŧ^n^%9بԄˮ`.׳gII@q˓d᮫=~ A)[I´w~&Q49 SI/<Q4-t~! Ƃx{(:Cqv3=ҦkW蔜fp{#{jAYG4|gUNM|rx[Rt}^ptrꐍqmOdR?d=u-ڸ.(\ 4Wv!j Xː~+9=f5;lJrF Lp݄H*V3׾}@?V)Y)i6:(*O jMyti$`",Α/vC)u? Yʵ5Lxåh~< (5a+4}3y`nVoJz;0^,ݦlO:Vtˍoqigl 6q?e,]L `DkJk!]P_l(G p | ?u4"#3]J*mgYZ076c2b898c9dd24810b5307f054ebdfccd515102 111bd506a747a8d2148e6b1fa1f81695380436da 188772c8cc0763cb926fbc73250592b3d1fc2fd7 1a7acfcb263843f9a678c1ce0c07dd60492f5098 252d167e0a4018cbc7d576d359d0e9c6ee845c4b 4ba8e906db1b7173fd60af78c700c4afd9103c3c 5ebed541cfcf29e3e43ff346c453a6e1b69b5793 5fc73a9c2bb9c6f5cfe3b1b6cc4a8d5b018f0361 627eb9ab35dfce8bf8e47915e55c4315626ac403 70d9ea874231a0d1f29fe736dab1cfaed4d7e7db 76b3b2909a380b81f0a6dca81ca22aea5b019f36 abcffe35b50e769314d17a49e69cf2b76e6a124d c30b02fbcfd250c7a4bff57f0a40fbe5a596e36f cfb98c1ba5973e23987602a8e62e6815ba583dfe d1ac231ee93e58fa03edbb65a38283926432d0b8 d5fca18ac4191c95387bf634e3449c39abc4710a d87e1167ff8cf68de3c424e365ef2c57bb8abaf1 e3ad14e1344af2ffa265f0e446036ea14665e0f237f0a6a60e649e45589e181bd233bf587291eb52 0d5db5f8bacd580775357abde6360aa29dc26b70 27f06b5c0186e431fc0979ed5876eca7417a779f