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 i LL w]LTL:threads=2elapsed=32.901cpu=62.168gc=2.800factor=1.897zXZִF!  LTL +U-) >Cɀ0!R|~DYFL膮+V!.gFpk?;II٣,HɥU n+I7 KT.3bL0(36KnXKW!6=FLp{$ltdi[VMvx0@jUltKxu2y59tH^:DRALHxڊ!ѣh%]1XfB~Z|SL, $P rc*MP71P_2$98NU[G0FK#8 YrT[8 O# \]N-ҹ .bvd'XMC㣦yD*Vw27) 5lIbLt{\( ~ x]>̍ 'xzl4{!#9$zzE.& W%{c]o\AYa\Уj^| 9,/GpotW=\|8rk P-`Fv+B\ "ז 85H- pK"Qa& 5F*>EL90Z @.# ZeT8aя ,YΌc }T2&Q Ї qtJ|$@<#3?vCQc]KZnPl/rtquazŻ s DRrDL[+gqSg6aM 0i1zUFr2b=V}{?VoD*Xo+L&>H#KN"͋~) Joh$]gzHJBtU+&{@:g4Z{byi +>]o~Vnf1D2{ 2)eka8ִ,+ ;>5P3Ѽ} 'w 76~9k$}Z$鏻Y?ċ GQ"^R؉ %܀=OA jI *'4^O9)!lF_UF*~=!`Vy9qb_p?b\!|_, [ $:8 *.{Q2bύ%`εvPT= Du,(Ge nyhj23SSIW\Y={Nw>P76%ַՎix;spP!࿎θSFr5M nѬaTӺJ#g`܎~#*bezJFXf#>q«5 :?~H mw= Cn21׏@.2^3 )rD}7{)TԱEoZmg Q@:Vן#Eq+DTN-⻽pNAײ;L袍5k;ң҃Ҹ)5 An^G a c^ SzFc"G2{Ӱc]z;M/OdDp K;H?!_E [c!*ůьe:?d.Rk@̘Z1jAÄ{ F_HՌن}|bJYP\ƥ]BQK9z: PQr䨳/5@ a}Ķ<Ï#=jV+n=o>Ys;'ć"wH[ }[o6&i+_\Tb-eFZ&.tURFKcgr"* v)Ïm߸9Rsc;hm+9 R@̐aKdP_\QgYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 2fc07dd09d8c943d9e5c1accecbf6c460aa7f218 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec6783b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31d6d0339b5db9c264ee6532ec52c96b37b168b717