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  ) TDt ]/ BNF_Operations:threads=4elapsed=9.340cpu=34.628gc=3.176factor=3.717zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^HqD\$; @LձmNߌzpMY)6jU8eh.N,.n ;l-ыX Yq4CJ.;rTUe Whwb %g:[쩏qιLŭDXbᏅd^LAԵ-rr1DԟW.  =[D}H*5Nq5~пl3c{專 ՎO8βe|Я;~2+<*srȎ0^ze8ߑ~Ч_ea[mut"zYwNۑXLZA^8SŴ`{)\rLԩ0"%AkL m>GGSRmtL88 UL/S'TNU ^eE#ȱh-Pe+ 4GjRaUök9;}(1E** 囡tf%Ø,nQ:GkC;y`s*ZY$\K.|Db1hRU:.p4J'cI)d02bU0^', 2X[ǒF^jL}]&?=)TmEJ؃3 ia|R!4ȕ°su^L܉C#Q /f^^ {E%[G9"=Յa[|+1.uw+gM{f-I-C^ZY(aS+'P3P[\!䴇;Vv1go &TY?=%;N|H'eؙ"|((>\ >0 'bil)p4d1Ug#Lޢb^*'Fw8xC<dV^%f ;zAdw͜oEI ~PE:Ur[. ̹O/KI$]hW߆8xyMHf!D]?zg@霆5#r+&4ҭ "u] yZ2m,-x F>P.{D:96hҊkn I(׈חgwZi:JaIF`5&NdlمF}N3p/) 磐z]d2>:6T%5QU1.< ġ RDvޥRPzO!e#..>V='5 o !v1h jdp0}US|Dy8C*EU|ڿ1Mdrjq/JzB6Bم`ʦo|V092(?& ۃQ[7:o jiPr96f*'A\G zFITe6DN.+"aǷZ]0