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 ggC 4 $ ]S Comparison_Sort_Lower_Bound:threads=4elapsed=6.241cpu=17.512gc=0.692factor=2.817zXZִF! ]ŗXf[&!9sA~2jP;QJfCp+~JmUͻeqV}0E7`M#!DFWgꖰ[>F/kw,D`0  gn\4QnN"mRTk"f4C04mN *\r̥h>뱶ax[o5)[ј5ݔ`Sbۜɏk_f gYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۾)”{6A*Lm gIO'R4|鞘%ՃGF1O{L;z??.r؁ngap.ss+)2WԿm8"]#4ȹ,K$]':%$GgYZ7zXZִF! 7J]ŗXi%Ge\6 ?J28Ρi7ny IVgiq2s&+'e"/ nJa-SY NYp ^{a\c$4t vu6D =dM2JH (S8!z!BH.cSC޸@kMdJ2).t蝧_͸jm.b=IeJ!| V|+9-5geO rw?ڪw񂦗],!c`{C¢$od+J;N8"d('5H+eѰt :mt%mRp\4a[K}fSSZ.$;eH 9Rw^Pbu:x7[P#- aHZB!h'aP&Nu2dα7Qk5C`mA԰Wxȴg1׼n̕RV)/`EZ6M dEsC?^ -6H~^O<A>utj˄}f\$B3¨7'iDCw`<&LSXR[l) W Yt1T?gY0&lHȣTbs].P[ !L;FOW?tI?hXBb&)f`G`y0z* 8CLo2_DW/@fJ4RAL2̸[|lѕNZ/-]*pC}ۿ)7&GåɽM(+)B=*L,z $Q#ڂdƒ%~M`Im nMo_du]?r%̈Nu$}Jg^@cͻ~ԉEjllRDZQwpӳ/f}S>epCwp$'dp+y+eYe bHfhVR6qli"U#4۷)?PN*])