SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )ltL ] VerifyThis2018:threads=2elapsed=72.590cpu=115.308gc=2.976factor=1.597zXZ ִF ! I] ŗXf1-/6vR[se ?o0.u/J_?'đ }`:U&^\]>5jXӟ[nWU_ w7f _grΤդz7pNEh0G} zbyThÀóܯNp>.tg}g[@EpϘv)5kqLAΈ%ͪЙÔ8E^lO۪.]~,HlKKNxYg6uw| y+F$YASV`+ |f`{rj\"+ֵ$Ti' YY*d{ҫe'vH))Nw4)LCz# L]]mGk0'Яãk%kq~j >_p>WV^N4d-yi լ 1ahgGvU3AlEid
4}_ _B?P8T
WVh=OW5a?v
,?cW!Ȑ@HIn9j'GD{{G=F
`s6u-&8W4@F"sA}jqTRcZ 61?~T.B釮ZIT}9
`G2}tJngmv[iH@KdQԧCHr.rOa?wM"ۉ9{_Wjç?nN)QRD`F?h;#B;|7R2Yݟ)l|:=e~%xY ,'?-H):&q/GnҦTGhUFC|zMcoJ/teGxn
F)zi/#(d>$Rf|LC%S,Xu$yݻV~$7Wo%NO<#m8ھ{> bVP~pvw\Flb3|_Qڙ~dd!.o 4!dsiۆ~!k8T BJ