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 _7 T / WHATandWHERE_Security:threads=2elapsed=46.617cpu=88.152gc=2.768factor=1.897zXZִF! a]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL/VUlͷ|VN̠ +!w0?MxSSF=Nܕ43H=$Z2ROsbuz(PVJ,ژ</_:{H\O0\GGv>v;녢gZ[ҁjjN`IKM,vcV/h+hp ̧i=Tޜ0C#T&͟,-cY]ٔQnTn!R:PDTFQ} &Yb)N g&] o;Y^,;bnZUt5p@RHo4Xw+#a{Zuo6A[u%7oIrf: Nsy)`fH_T-akNܱ>F x6 (Y V Wi_"1m1?}2wá$vA-`*X-+ufU)X$PK ugFЀzI& { Z $dB:1Ra =wKe $/ᛮس Oԩ04c!8EYϡj; mo[f (V?4GThl\9G.E5 Էb&5FH\H3uJk0(QS5XDz/ fl+ |syS4e ˵Hh > UC}O`}r$a7N` ,ޡa[W ]{Rɐi^ Ga>y+:11r@$x\I_HLYF}[o콟_u0.)t*?7RdgȞ:ap1qG_.p,!nW6pCJ29Sξ;Xb!<<7#G52$;Zޘ. @ j:2BjXؽ[l}v)+ V08^d s"?@9+1\SQ̑cIwA;Ke"++SԶjI}-cBc)\ * "ϯJ{ 3 \bV-bY c&NNb҃%·VfSC3~` 舚_cx{ߐz.BP8!!cر1F:F ꧴-~q e>1K*~/+ߴz`(!1je ?uRt 791Nt+HVcfD}t*FB#sP]]O1ZK M( &"#ꐣq8l^շ+Z< G2K`g.LGP :E) IY#wI4u|~sEL\, w+'C`i1:mF;oyvH0uSo ѸP9LAczV`-+'|Vuʴ[FrZkGyœӆ%8-{z?(lQ1QfQN1ҥVGPNSѐE-?+A!6!xO[+ݗ%<&VqW d։r 2E\ 3j9S6cВVB$ODq!ycAt ݌ADqbYYPbY=:+|2z70?=.MqDGШIP%'LO1&ݮߥk ܡ^] 7 WHATandWHERE_SecurityB$k>0QDJĬHsynME7E"βC<K:ScSCQes2 }">S='kZ CIC 'tBj(!*̣n‹,)0AEe9iy}+Fw~ԌbEbfN'?uy3BHۏ*9B!ɅK~"yE=xF:1CpBiaW.'BJxfuyQ6NtoL™gYZ7zXZִF! ]ŗXi%s`5o4љgw)б Szڳuhe,(;g8"(c݃iz2 A]14W>q&yQ򧷏z°;~9Y׹JP4`%jO ONhjoxMާlalIڐ* 8bX(jȐ7\ /bm GbͳndA`RCZ@ (9T\,ô{бST [5p);A+ 2;^%u{6!+([N+5_츂aU8Н}Iz:XJb+b3Sedxųf2v 80/>ȢӄL<{ONٸOWyuCNeE}K%8!6Nj`ź ˁnڋ Հ4m-%S~%jэ f^IXbm˷ ݳҺ~'GikzmD*5j LV* NSlͣ( |~yg= d,nFܕGRcXQ 6$9mVQʍք&F;93:, :}ylV MXT8fSeDI bW7ˎ5/l |=oej:OWN e+t 5\/LGD`"S)4[c~d=Y2q9go~FM5!-83B]5tI/.yqax Ff@xLI p?N(,WgV8RʆR@@Ff,H22H4gxhL@\3K>di)r3fdSA{#Wd zqA2Y0@e`W~j5>2h&F15R=`\R*= }tq rpװ(R2oGYB4#Pv J7d)A%%m!G<1+'OL ~1l푨4PH6 ˽wƅ&< gu3 h-QpH%$rlXV#QV57tQv㜇* (3%KV]&2Z觍ͧw zԩӥoڢ .NZFlsD_ttdi+&2_ #X 8#ɒ#|>=QgTWw* dBVp֑g'O,3Go څ<,zPc":3[E)SԽ1{W m#'i,q3LqHg`M3؉,T gZw輸6H4'}qoDAȑh7XeLJq,aI?XCE02 oر˽i3!b*l -}CmX@>VAJy*:Us|iv3Ȥ~۵ΈKj$|10X#gՊwb[F`?iNm/Hqkfp0mNP̿ݘN$3Bmak!DgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b509711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9