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 9?l, ]]HOL-Computational_Algebra:threads=6elapsed=34.541cpu=104.580gc=4.364factor=3.037zXZִF! )En]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(A!߫A1ٙ}( , z8r-ϼ8s|@V.ЇϮh9KAWP*bHӏjN9"6:2*E =K3"&N]"a>hst teuM_;x?VSfrb5X.ܱ>;s29.[ [Ixρaӗǭ"0e>͹ ? HOL-Computational_AlgebraoGE8-|wgF`nɨi(E-V Zrhm%/{&U__.~=%1?06ŌG]I7|+L^e+jRc*Vɒ hJj|v&wmLϗnG_nkaakPۙvkMh=M+ YY?Y3-(+ )ˈ逇|׌A=b$/@܋qBi[vwnvЩ}b<_ d,9Y?\ ѧ7t&]k뇯0HF%jEWaMP@%Y$Yģ#xZi[LmP'|Ej$3S?Q3{Ŕֻ!.U+S }Ʌ $hDXEh}EPF<,Q}ƢgN_p}>H8-5KT1<à*j.8nǺB.$6]ݍ VwVI3E927!7I&"H1ߐ|Ӑ%Xj_%>Ak.B=.x5f"MVt)HKHY; J`ex9ojtFul>K>- hs*̴[XtfO]\G=9t>&mywp4( I* 3֚C:>+Hc-Dۭ+\6LRފh`1ػoB; RpMgYZ7zXZִF! ]ŗXiɟ1q *^|ݺ=Yt+@)HM2 y,76bdblj-;1η'!pk ?bM C?;cꓻQ랶 h)]Ɲ\xzygST/fgͥȪӘ}*3 VGpyn:E$k)8\缯Y8j*5|>6j(Ptr^oX! 1<_;?)ba8zYg4 ,#RimX)F< xЍe*nLs~*aQ˚٠ j5qgd6X}˰rLh(]5Ciަc%){Ag4_GحBdSW);9{OE-/>`opbIvdFК!|ddJQu'}N@)G7j@vl?]qFF ZfI욐 K;PR]o0|7}Yz׵>})ʀHTYUۿal ^~HQ; =ߓpɷz4x&48;H{0ˡD"YpUgJ4Jx2]h5<")H7SRԮ㱏Q+bq?CupAW7}uc];Z^`)!!nD5{ hÒC[&97W[/Nil도Ϊգ8oI.ը0Y7sELf>rVb1=ΰ9R򂾿ӭ|'"V:$el8{}P>Gfvɿ- m4T|GG jߐwMQ=ر竒W=; w"|2gYZ3cd0f8f161e62fdc24fde857f9a176eb8b3295412bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde 11a74db1d2d9d127e73040b1139a301c3d720f1b97d52bdb882c7679905e6015c8b88aa84e9a38f8