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 ;;B' >rw/B駗W D>6vaX59!WE*KA^GXFd'|ciR).tBb ޚQDMB^-]:v聻cSl-ɅBZ T.0>㜣ulİuT\q%Y9}fR4a.UvzaLZV49?aΠ<ل}(|~OJ|HxF ]Ր5&oKQ /hILM6(jX99~B= PgT;'~.FXhUFat7ES L&.{ mgYZ7zXZִF! ; ]ŗXiɟ1?ߟt;9BP2CZz眭5 zKqV-P/L-6?VGH w}k>~]Uէ OA&bmTo ߆R|#i}OJ %Ӿ+,NVحsHP ,4MጲZѦښMG|PI7÷!R]-ux)!X{lk>(BT!g^KR'^~~<{<#Ia57c^})CS)ۇ )*gYZ7zXZִF! )s]ŗXi%B۾7eH %Y:w |lۢԸNi\iH]vʢL6MI<5][Dh`= \22ĸvcQ{gqW[9gpy[/aU-JlصǙakr7eNt+dR 96V2@S:_'B Vw? B,կ*):횎{(Vgƕ"A:MFָh)6ipZ}GU\T(6Mc $9t-!!v_G˽%>Ii#, E5ypՈA wƧbSrьqC|3s˽n~l Q6>?ہ갽T^= y:^}.բO=ɠ뱧B1GW#ZB߿w,Mvr)CٽYjŒs?jNBt,^"Q&e|ȄUz@V"3Wgpw:'=RUG]CiSti[QHBhM8X0L_?8$C3 O)7fɩJ!J'RP>u!d\#ȇqж-1Cmٞb+< "= &|4nk'xN_^ ~.1RNN/k㹋.D$/'JAKdV҈% HU