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 l% ,L4 ]S Posix-Lexing:threads=4elapsed=14.796cpu=31.912gc=1.656factor=2.167zXZִF! O]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}C<Щ͢I,;3)JVSK\J=?Ӭߨtd5XwW=X=2xW,x RKNSrփBqJRJ̹#`5e_=9yDž>Tķ".݊AqSבCWB|ԉ[9"ɷvh kŋ=JWe]UT;Si_S[ܺiKe0 (_c) iZQb4'r$5gYZ7zXZִF! `]ŗXiɟˏ6t-utD>ь@z?HS(*hS'~j{ǼCZm/&: , "idu& v|OYgYZ7zXZִF! dJR]ŗXi%G>>zqUӏ@ DQ6NsP.Yd>[F\91=fՇd#ݨ0y;ԑx27 5e~JC(UD}^OC(kGT(  i"' n]/1C,}W:ҵm;yK.3:mu5#t\XM^@\eɱLTʍX)ŨPEg͐$7t ڔKO5MrTphWp/+JL8@gƥìE>xڮ mY>4}Lg7mC@mٿ<1Y ЬE{84tEq.|ˎƹ"Ci "ESK1db p[&:n*tM쬾QJӋl qUqYks6EeX#5響;p/{Y4nMs Rhnz8ʸGhHC%ar,$Js3A*zS-5 i){*} L$8aSb:ԼY(n/d1dW5T{y2KrƠ29;< R[3"ZUAH&hM%Y1YVyu̦Kacr8zU?eu糼F!2!1Ƴ խvjhxO*]T;VlC.B^T]ҩU(rq#{8v+}N{_ɁrM^\fWRDod$ TT,iۘ˥ Wi?&dˑje|K]lȍk@H0<=`{crjceB K~Ǻw9r' IJ&D5KIH0C/gd&w h-&Z26)݀]G]6HntT8z54q(]m;hE=7^܇fD1BxX\IR;?gF/FU}kKT5X*7˻5hZpfr6$CXUU rnrn~r;ZbZ p~ɘQB\?װS nQB#[x$ vZVy^Xe}vqe6h\7){/ d9N?W頲yeNDژ0%|$J<,WO ]Һk񜸟ަ3#.8][hO10`'::nc 쎼  gYZd6e7c81121fe646a162fdc746cb8d7ac7cae764e4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 2b8c85517c358f590cb5ffd4e8566845b301ab6a % Posix-Lexing