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  Dd4 ] ZF-UNITY:threads=6elapsed=6.314cpu=32.164gc=1.128factor=5.097zXZִF! 3]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄēՍS'W}ZBKm> TI Oo^$'4u47WK7 TI:P*R% !>J89 o?n*G9)p 2jjɧgc>Ӱ.y><@+a?ntX\ Tp';-ڄPAPh^ʏӛ7 F&) ' Tp,j8Jĭ~2*&;#;0C.^\h]rQ{ɲ[k8VU0dO3*P!YV;0ɍ-LwJ1u !(dA X.WӁyX%7&rFR{*ኽ4+y;3LxO=F5]ZGw$>Cⷂ.VFa 8 tϮ|}EՆS~d=`$&q.6o{x*-Uh.paef j~V9ML#_w5f-<È綷 6'x#8xT{TFU :.v/Xs3 9jsf:޶sBiY Ze<!إ?1$e]4E:HCcgasLYuRE0a݊B׼gvx߇z4 hlgYZ7zXZִF! T]ŗXi%6YÖ:#Gwo-o[uy8}*FO@̺T,W^si`f.JUD;Ak3ԛ\+ÃF`z*6 >R$¾o8-*QP!phTScM5sO.=j*wɊ h*AKYy$ "-)O?,u;z1Z K˕o?7?X $G hBn qlot$EK kp>CR#.-YsS93د>p dfy+GKx|&'jI -236Fr A$] E!NGq f -˿+)FP02E0Setjؐ$ m d] /ZCy2˥8VTE1rb5fZÜ\l*VI3NԮoc-6 jD5XS+G1[Dއ)vtܪ"=w}is'ZbS!ŻսT1 Ⱦ-ޤj?޳*~X=VX>8fd7joI#e)b /㶁up౎m5>9#q\H.&miڃ4FW*W&ud#Po3f~\Fqͭp=ygYZe9c59bb013c3a22b40305c442f691d3251eb1353b3fb05f5e50942c4dcc807a50dcc11409ab39906 0045afbd2e8905804d0dff9e5abe24eef724911b 3dbd8cded6d52e0cfb339aab92f49f5ba0cc28ff   ZF-UNITY