SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _ ,Tl ] HOLCF-IMP:threads=4elapsed=5.199cpu=11.192gc=0.192factor=2.157zXZִF! O]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo2Wia54q܎@HPN&6o1 X:d.#V r CěxL1|iO9٦bk_/5+\#C 0l. S *d, ] BJfc\ 9er 5Dp2qt:4ާW6gz?֪. (@iۡJEW5$ڇ:𞀿w܆] '@xxN?4HG\F# n %dM gYZ7zXZִF! ]ŗXiɟ1,plnQBmjsy6s71G8飣U%Q jv+Sop,[0|sF Q}xsjhBmޞISG yûzhi=Hq))$@o5qB۞^ˏeԊ"gYZ7zXZִF! 1/]ŗXi%ES3|b꠱G80e"K43S$EfZ*d&_2zmcp>G?uІ3*6-XLbiW%;t=Z)I$;9j*\maKj"4\NHI ~evfdwTb ,#7-0A,emq\0y6[:./=ˣ/l]3&(G # gsW%է 7"y8•0. ˔IJD b\"iBZbe@>G+@¦`LXS]W n9RmvT&ve(maˊ떜^c 0$f vCeHDg"x$y_d-̰dc;_'iStwi iV%xE>N];9SQ)I! ]`L% e3C:CRi,WWx5.y ǹW3κ:,Kz `Q08+H0H±13.{o !SA4**QŎS$pCLErPW|ZW9qB')HoKڽHe D?6;H =U|^<q $,yVܠGfEf;