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  l|T ]]]ZF:threads=6elapsed=12.444cpu=44.480gc=3.080factor=3.577zXZִF!  o]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`iۼFW>_ ZNlY $V3 ӕ&ǟ[xm|.SoU_(D.ߜ# TNc[.:Se;J[rm*,19Hwӯ_cWԏCPDuaA~xV Uy  ; RDaƛ_#@-f=axW$nY-j?3PH:6 :6 ZMӮS9v3Z;z7`1*vZ]ZMS\+L(9i9&勢:jl/&|&ruWpA[op&%jJRμjH2]U(_(?7M g~)ˢ[VJnצ#8zr_Lߵ}Ϗ~v>$H֭\ߖHu(]*/+k,;c.-:H|*)įGf_P4[ DPY ͎ue1FHVX+Pe%,cF0w_v?fZ9>\YZUiJM߀D(L1PdKB991G/E끥7I"3EݳM8r3-:rZsr;&p#\ҜyiP*m-"aW:9Y$-lu;d?/<ٳ% \B\g[#$~lEAԉ3KYD| s%2lA?[K[ yB#Xq%&`nRw3{#0*ǁa (/5LLpN+s,}9^|c #t/)NLn!t>N!Ԧpcb0Ч ̣B^Kyd-ƾ8sw^Kpyk*(٣c\^yٞoC ?Ɣ+Xs.ՔM4R#>z[>NftJa_˪B"Ur祉 kl䩒Ǒ=-2_']+PIw%tp.-\hOgw$Pn="/RW2n&3/sB4fej9od-x;4+Oa,#> GW-+Y t7/ܼ!1nN8#Nڑ$@_^ ,%=n,iz@ 엁 Y9 "QAM:a 4tqt̗ 8 gҁFۻ%xي6kN4+.:f֕KW@^sƺe ̗t*b'5P$R64۫!#D)'Al eff=B)tIޠlnjqo"fVގBݥh**Z[vO-4\]%IKu߆(ko>*O;\~Xy(HGcF5  d|$ƅ{qgLwQe7T&sZ#$om2qQxRۄȷpLD~$3rj<A˳ ŀΥ8yfb9.̲h!_ǝ5UvkA* 8Fq10_JvΣN"Ad"uo69|F 56=˃o5Ln/*kJ^k.S+WF&}oOrQ'X# x|gYZ2fbd42208a5df33a08d7654010b289f92d0469cc2f7a95ebb0ed245614cdc5e59a663000c01e19df9f35879bab8efbf51ad8adb711ff7a66b7562a62  ZF