SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   Y?,4 ]]HOL-Computational_Algebra:threads=6elapsed=37.135cpu=113.692gc=5.540factor=3.067zXZִF! 0[ ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYŽ[zOm h ;Y MVwr@F-Kŵǒ]TrvGGLJ^ݞQ"aj 'SchVV&+v.8yԷ-XCDP`KƩǚȜ-H'@;b;6Pwȗ*\6TcP+6;fi𾏘nj $aH35n@}-a_!/,r4"|ǀ":h̙͌؄v2-}`J<\R5kOPՐEϝ4!J_ZU3d(ESd BaǏ6'd%h[\"ahIvy%~SA9|P745wWQVr'lJ/3 ?1?(d4?%5( `[AgYZ7zXZִF! ]ŗXiɟ1_M=]޺E_aM5TleG(_(籛fBE.Rf`V'BxYT#@H2i'F\.x*ClOGA6t4[}v"^1Lke4'* c[+Gy˸9YIL,+[xVW1Qd),.<*a$An 𥏃18/(1HBmb6L([_=\-ۗ h$a8 "83M(/|a^r1l 谰| [5gYZ7zXZִF! =]ŗXi%;f 9ZF&FG}KxnսI˽`4mS d$Ƅ+<ۧ:c/&q<GmSu>! =/CO 7L?,ˣѣN(]y0bAVq;<9$;hf$F k#;&qnͩgr[J'(N(R44ߑ)6T#H^VZ$y?],2t5{< a}"5>LbeAu7zzi 4 1RLF{>ay tSܩLl3u ;yxUssh ۏ6F'3 8{\QT}T9tؖ_щ CSeeg1K?2R?]&(zR5i^܌xy;v95Gɵ]+SK&xK{4o8FTRp1b߯MN`15d)tԈϴE_c)3V0>픦a9;Vmj8f .S*~J3OZ7x.Wc] jI5B!79¤"W 8a5n`KB8_2@2K>·viݜ};=o*P'R-O۩&rEYuwC ۠-'tKP|;pܮ[-U:+oBثX8iT:>漐%O83Ӗ*Vڮm&AHu"RugP*;BG*fwλfٍ4\ ՚AKDt*͕fJʙr[1۪x{_wY`xr+F Nt'8aI/4/:%%X+A{|V"K(Xr=ܲ&XMhbE:ꒁ4ռ[΁MH{mKt12óo=Wg`^UaPb᯦i7 BaYI3 dWS*@O\.X pK?|52YV3BnXN c!*)9%Tjzm7i&N̙-GߦfN1Spo+=n}?]^ [w8!_7擋 PHhQ?kE׍giKc+Z)ȨK=́]Jw'jVUm+>a%{gkxS{(. ϧI&KtgYZ864b823c632705465f4ac1743288e1152cbd6e6ad40ca4cdb5a529824fb7d177aa42025673a71052 633e17bb1fe2d387c6bb1f2f01166d06622686a6 b5b0b64e72a1674f555c4fbcad929f2c1ef60ad92fd7bac5f8f19d1cc5edebac9c886355eb9a9ee3