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 II$1 L, / Recursion-Theory-I:threads=2elapsed=16.099cpu=30.272gc=1.268factor=1.887zXZִF! d^]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCN Th!BJ8%k!(cP,5w8РXFb{j'a1U-–^MxdPs5h{bi1V@M@ZyQ@VQ7\V3GT9T4_IFbkͲmMOzB;J[~I `L#9X-rՋhc7ͭYiJgH HHbsW,GӚ[4 H_dl;@l-,$mOK?'d^Zk&bM#-C5֘[ 9?3a2_ժE:a6B{}Џ+n,KCEbdrS?t[Bxgşsu_L t{^Уk=Iz<_:Dh V3u2z-ŌRniȻf9ʖm^k\bc 3&I4OK~ @9257 J#kN<)ͰmtH}M,?1.z #|%j@I<&OCSlU6lY(OϢ=IR`%ѣs+ϕ!S- 9,h*7((GL 'fUAr'ü(cAuT^uPJ$AޗL%P$6kh1!LX8]Q"IPӀO+ײ2B~4 ,dg+o6& -=HS4[qapb t꡴CWB!0lO;gdjV;5Uysqb=te7J&6=>GWkG}ԧG"7֘TKSb`Q{ųTGe">te41p0eH6 Ff8^OOV!IE~y`c1bZ2 $oѨ]&R4btVI5Z"+E0W- ΄:0o՗)> mqlWpo0Bj~ p8^UYZ4_U#UWAP9ׁB'0c5m\2R n-QЦүX{,kY|2HŽl+Kj*uJ~ӝ$:08Eī_)rM;#Wxk>fK@Ձ !άQEkCy9_jmSw5*]&\>cU?u~Q&`S3W76nJ*o=ŗ¥-*ש=c,2uQ vzX2;n HrCB&DJu1IC\;jwΌqp]@ Ķk4xy*e1콛 V[)jGg7i=c ?XU'Ʃ|գD2q"ե="!?gFb'f?V [S^DqA ^$>L|c,4K(B)!A:u;1f^\ \=u!ZxB{lͱ/Bݕ|յm=VZXN Q(Dwr/;jË Oq\+D878B;#^* ^%ݞ}]MaiN%w]qL}˩#iܡ-lvQr@򮦻&əS^J㾬^* FG-!^Z3~d%iOW` 4:Fw5h'"v,![00tqsY:E)j'nNFȒ~']yE΋9r>o=NJ538J>\ʦ`Ɇ_}RbM۪j{^FPK˸@[qk&?~lS%Kk wxJgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d33feb4579ed97e9eb80c45af602f84239bd5d17 f6907765bd86ef922b2b6fb287ff969df46fb1b8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457