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  % D4 ]/ Latin_Square:threads=2elapsed=7.876cpu=15.320gc=0.348factor=1.957zXZִF! F]ŗXf1-/6vRZ( 8y9c &Cx(&-2Ό~uFӎ/^I|ύ+rI$k[$jr 7C"/ Ƌ) 3Ks4P_Okr7E%)wD:,u,1V+5vrl\=EϯS9V8*y3QgYZ7zXZִF! Z]ŗXiɟPaOõEWDwS 8Uζ,)wp5ښx l(s:_D%^EooE6e绸N[ZvgYZ7zXZִF! 7E]ŗXi%;Cx؇f=6pi?wmҗki {9fHk43F^r?*JσΏw>c/r ۡ34=R4)*-"1T /m9$/3 :ӗp6JZX-/ }YuhKN5lnFPW]g!Pya)1~ᠳ$偈Z4MMBp#T| Jdve}F)üA[X&+ܠj͘UĪ^[k 2 g0xHh'gs:_&v?C uxyĒ<%d*v(R-$&Nhffm>^_Vgvw7 S# uf*~{B]#qR^OI:ʹ3UqsoZ*/Q6SܢN$~]=tQ+B S"`,1]i~t$@qfӔ߈6VAFH6T$9PGzi=|N;tu=FxQ'$|q`NFoj:ŚGa0ڋ7MqMck|6 9j~v`bA7>U$Ϧ{Ms9+5ycJ87?>ɜ;k:%=^+ס<fKM91^>#7 D>^ڢBpuN3D|]w-OE4@VƂ.n -7ـxY )aAcj;*ͅhix5J-jx-۸iJ=!JvBO_F"]xʘǫXq c =GVA{ac ݲb"r?6lrZ]Rnϳ+HGL^"] vQOeBf} n%TLgYZ6e561335d642257b310ca00af332403f15a7183fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 % Latin_Square