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 d- dd E/ ZF-Constructible:threads=2elapsed=14.806cpu=27.944gc=5.208factor=1.897zXZִF! ]ŗXf1-W5"~ H:F`C L Ѷ\٦`:PyM?$ä́㘮?:Y6 + Q6֏ǡU_i!HY:y9ZDkӪT2)"XBӃ-DLzwe*'!}]s>np>4hyO9 q` 37TxX"Jj^ˡx ?b9NZF_) FsxO0A-w¡:r1O}+i) KfaM:̒`m@U 'O2 AE<ý&J}a.`Į(7B}Mٮ5mBr24L9=7ꞦV<^'dLwJ4a\1aLYg0Z"Yct͗?5ײ(I-}?Ab*i&"n%;r73{x *!X Q΀;]J?TQGDU&>ϣC՜ف}I !4vɳLn M Gʨ"Un9sjG54,3<o'zox꺖zI@F?Ɠl%iġݟ)G`Z0L~Ytnƶ ]%=?mjj)F/0;X]C(l&Ūmd fQ_U5x~U˕~s9Qǡ<`L]Ǫx[dC r5B Yu4:c]4f?l4P*Y]{beu[gQH~"ᵠPr^|iUѻq]pDRgo\a#w[pU|J/rcU|ߊ5$z`hwV+]!.<Í\k(2}b1=,zTC֣%E@;L<U*4W(&B1GXb>e衡A/dHv3/P.lZ.YNS7xʰȝ42ƾڲRiÄ4[w_GZ~69C9!eN%t1D:fVYo$oAنJYo1G Ppa/u"ĆO9z`. vnF.vAsP^9d! ÑnV89] fM"L"ͷRW+~cK=hгKr҆>qG" &X"En2ܐ4=A!枋taw^+ZEwc +u4(hyD۔i| Acn,[;' I'/hϑ1Dv%քӿZӥDu{Vbg9qD'Ѱ\n;+'=/bTM37*Nk^в.>gE7"(_aI-qQ&N_ GϑН?hm~*c4щv q?E1Zڟ~nM;5Kn 0Vjg *ԱgYZ7zXZִF! M]ŗXi%B$CIY^yvnOJwӜ>|9S(3~T:SIh>ɉvpP!RsJF9kA/\bm>4 |9ұh| 7vY%X6?,93ܤS#(s |iĩ8iډ,Uk ɁM W幏'YO}Aeڥp8L6u6X骆˵%٫q=3 H9yx/iy`V 5,̙ EpF6ѝCY\T͎A)--@^-c'[ڜ~ڛ_ uh/]ɝZ RI9! W[1 D]HnSbcmOk+ꭑqQ~O{5n+m(`z6̝v*bPmګnPǾw4 ũAda[.zεH|>̱w,&/N-QݽX::)Lw KT+.MM"tI;u0I%2j!}f+ILtl 8TCI}}VfBIpqk8oN4<0g)X F8O^׌!JQGao+ڊL;s x2*Ehq7- D SnCJRY()%GӃ}|9@2ɦ z&خFl"F&bʽ#$ BD\)lPu2T;?X&.m5BBQ|<}dgBOOt~,hI&*Zx^E21bGC @4ֲ^>$IV+ѝ%-eaz^he<`7Gi\!fcnˬFsysNI{e)G#>m;y9hM^xK\qX]ag躍ʚNWW;;|X?7;hPN/?Ï,{Ep P1CM/yU3f$MHF?qLKYCVind^+y ڛdeڱgYZ062506c04d0b016171ec62de60969a5bf428fcee 089471776c150b91ebc6d44dd3efaf297c6a6354 0995744ad77570d41003c5072af631a2c816796d 2ee18eeb3889c4d71f12098f29436c494be28b84 3287a9a9c7d1f8ecf042fc0e6f120565b0f6af8b 3601966867a54a7b2b20f6142e10d4173343a6a8 4f5f01da3a65494c78edb9ba99b2f6e6a1bf576d 522a22ab876f3d71f7cd516c52a00e5d4015c8ac 6535eb45961b8b7d6ac28cf32d8c98ee864e24a3 6b47085649144be6dcec8dfd41f4db7130b04c47 9b01563c1020ee503a2fe01ac65d6b4735edd8b3 9d08c3f8c71887de59064adf6ae23ce528f8ef7a a4fca249badcd961583e181458615ba250856aa7 aafaef4c640baa12fe4a8f4601853c775086d919 ae63cc7b047c6368600a7bb6727e74baf17bbeff c1c78361cb1b5ffac6b886f6d69f44aa14171cbe d150aeb3a4fe16733b9dd5f54929f1438b064f10 d2435baefa27a94e6cad99a5de4f5e41ed6d7edd d7060a036bee5a29f486547f43f304ae9a34d55b de5ba395245424c43776913d6f575d39d72303a4 ff4be9417ec7c26523c10711364fac3a5b612f398c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c