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 t1 | / Recursion-Theory-I:threads=2elapsed=15.855cpu=29.748gc=1.160factor=1.887zXZ 1 Recursion-Theory-IִF! gJ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWFp~@` GV[E.˲)Z 1[9PZS<dI5plRм=YNW7e[Ugh.  Iǧ2sKMD4' 790alZ*?1m2ɃӆP| ϚڻuDgD Ve{ֹMEv.M]ߧ}eZMFW(]zmR4TjCы}%~:NXׅuxu^RDfݼ-a8d~iCfb5>RKc<)M%8LymFSг~VX)Nd/)<.߯ SUձug[2\{qZbN1Lş[R9@O̡x{# ,~ /'m*|K.MJV`S,^'/B9 C `kM")mPm Q3`sH0zO Pny=~BZ.*xވ0֍ R5=aǝfQ 7qʟӪSL3)Ζ>S?<jQ'.z1D#5<@ƽ#B224L#A`02nV3VA# ys̕\oURGf?#y"o5v']|T"sy uj)}Ҷsn|qlCHtg-=(n5O'N3sk88E{Re.Xw]!`҆ osM|ceK@L˕ x*Z[=&J,+p~yͬGZS~u#fj6#)h#ɭF <=yiBv`Ӯ/[JMdcl4B+kEEMB O];Dnx&.J?=eK+_C79 =-+ocN7\хЗ>9Ƴm(Y)2s)N1S%`2](Q7L{b"@o"r!XN j!zI&T\6{CؤH?HTC4xXtN@rFl4,R=OoLN U( g5hC3."@Jnib pF;t!ok"vb^~Eޛ1{ΠyB (I3D8HKz"6 @[>Kb#gYZ7zXZִF! ]v]ŗXi%3)T,OgQ?,`ȟ'Q,<5)ibpS'=B٘wWl(o H`=wO`˛$isiaL``h2ẕ J~6lı^b/A( @ Sbw0= \t7Y30dV,>J>qo}-k7e\XeEpKwq#kn03a^Hn;DǶߕ(Deb#B,Oml񳰐n!kxCrRt!PK/0ѐ0hԊhWܹ]TZyS=O`t RA&mk8 7Ih,9jYޱ&F+?g.)G, a%Y(]tzme7\%{އl C#94^_we}{AT5nyǽY%›R~t/NW5z (Vv\5 gvE[i#uEx}睑;3ls隨|x Vx&Ϡ#OD]k6S*7{]M2 ^h8&E ufU Á ߻9c~i"MD~ﰮG Fƭ0Q ɩ_tPpL*id4N K1~Xɾl\7.H*j] By"=|6Bo[ ZbqLA[~R )C;UӅF&rCrǫ<F,@'ThA jҚ삙E'c^21lG#%CyBm6S-W5֕(mlq4KA*׫ܧ2 1z~oAA_F@R” )x/g=qZ]UGޫ*]^\5=qR‰I.mUeHUQ=r7ژH+  ,cF-=( s3>6|Yz 8'҈ʧA_@kțݯRp/) ;4߹At3=wNQ%e3CاX:q~5+<"XDi%aSf5K,p19b 'pj..)O\UҒط2IQXD-q%-8E\xqΒ/dݼm^Ϧ.@,+O~cl]m6BK7%hhoފsS*n -ܱgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 b54f9b675a7e02d6669fad35c57f74abc0482fd6 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 f6907765bd86ef922b2b6fb287ff969df46fb1b819db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b