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 ^ |\ ] ZF-UNITY:threads=6elapsed=5.177cpu=25.412gc=0.896factor=4.917zXZִF!  8]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē = NS؁iuK'p&xN0rI=]^̊7 ؗISO]Wv )al4:`9Bg)v2{Dc5ZTT5\㧽NJǬI-|5zL3RCp[bŒǜ3> nn=`j-14e9icdۢTM| ?rla†{ ִŎrc*=Vx)=sdQtǷYgP!j?SWOd\DL\QG? Q4{t 7 u1s/uS&dpQ齍R_9U|ZꏼMShq 3u骡<bmw0 &LO5 mqgYZ7zXZִF! ]ŗXi%ܸHŬL˵#_ІE&lcINas+Lx `Cɢ O˰3:P fڞ} #9?}lF:سQK| }M;BſczYoI͋/[(@t"yGīIjjz{,uN/e_>zub}@zŴhN- )<[êY*d+Ґ[+Zyi~0gnꡢ`lR|}5[˯z;c\;Љά[=`nsp+DWdG.B~ʲNZ-D֭4^W'_@3_iu{a:BE,WaY 5CT>B<2rɰY(@PU]|,ڃP!t. TЈnv;dEy5#K~#@g˄ deh05z-'tDDM.T9]* V'=(ylJzt7(* 7Agˆ0-R߄>3a(J:%Hj#}Ki>trWhdd#ܒΪ-hb֗FfAK?#Ԕ`FB˙4[ׄ5`x4Y<]aM/ y2J)Na"t"Vj%RB:ȀcO'V=W(]#./bcNXb+i4o;1gYZd66cb8ce55471bddc8aa591ed88d4d622e39710e2bfc9fa8902db3916d36ec4512397ceb264483eb a820860ceff2a41c19d69244300a91520e7c6004 11692876f8c10efbb6d2344d55e0c0e9a36fe7af   ZF-UNITY