SQLite format 3@ .;  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 S= \\\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.999cpu=31.224gc=1.608factor=4.467zXZִF! *']ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<4D,`бpiimP1(ZM%Rm7oX|S Cȇ-D Iߖza%uH溝\.]sYc ~S  ~3I:VoGu<$ bt*l R4=>dZ%4M,lέ}Ado ׵@/ۆ )~:;GZ&+a{5q:Lץ"5 UQaJC6m@~Cξvĥb-ց9 :sܨU|@ONP;  |qQsPh5dǕůd=N{c|f o?jӸ0e ı!F>SuovQ7_%}paMy[Eq)…z[c/L'U$?ngYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>DL;V1rS}2 l 恻 %:'H"N/_ ̆bý$;9Ѣ 1 [X'L]UjcІǶ)_ jrp  #˱gYZ7zXZִF! )]ŗXi%Jz|EQ ݥDN|HOB+@#, y8JӥΨ0# { taI5`D֠= 0+ ^dwzK3 .$!H!-N,})sСfڍh:BFq7RʤqPM mUA-@Vr)@YB@Ǣ(ZEbG`J#'oK w <\.fL^e!'5^%dAC,N {6oy]5њQ e/nK +pW_6UBmr"6s4ÅSyYWkڕo{^cFtG /HNr1XHJ,< s5;*FKLb !n+@Mο) }KSB;I!!ra;4D@FH5ȟ j|AɅR)G[/S<7qipa 2UD{OMଛ :.l3YxZ,4AV\{$9:KA2U%$zY+hBӅ4Y:3rՐ+WiiyeXu+޺ޙ&X^h2<?h`_e4Viͭ_nhԀn%;mJ9$_quO%cJGX^5wQc{*2_C7 ;&~1Y4KП