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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info / \Dt ]/ FeatherweightJava:threads=8elapsed=7.732cpu=24.780gc=0.929factor=3.207zXZִF! >]ŗXf[&%Ym7۷kX@s /$m{= tv khFDOI֧՝01^O_c')A+X[H P$/!Vۅh7^xR+SDa}m<1KbUg33x!¾wo\R8ȖEPDW+oc^C wȹԦ|%:gᦥ^N|(1#Ou> Ԍ 踢flq_ ->wbogYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#Qkihc,Z*I3m풘% =l20ִ 1|4M,ֈZhЙza.i{3٣i9cVo "\gYZ7zXZִF! :U3]ŗXi%>t}bX53OX} R壅`"Ԙ11MT(ܯ1~0tor^34?!ð9 c ّqϽ Xf>S\z̜)]b11!(^aoVιI40|+#z4sQ[f)c`,Xx[oFF9 d*Es~Sg3 o^ρ5-kc~v Gy [RSi>Q#uiӀJhV73& p^:7xq@Z̙}VbX(+uVlvʼnҹOҮDg,3DLMBv;L2? |C>gZǗ҇6Q$8{1 *%hC(´`n [J6ہK v!-hOu&@Z%`M`\J=A JbX!ew4&w0cwKm^3kc\ۣh3nRa;g=pa<9*L8x MWk]*q4<@t{ZW$M0(S[hZHJr*ZX3xړRGXR=PF! 8緞;R^i ʳ(Y3>= u""t` "Cꂡ/ɏjTʪO_b^J/k߳[+g{ |d~50hZ}YdH$5,P=@`E]zï\,BET๾|pYM< $e;z痉d$@7dP1lY&%