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 o ,,< ]/]HOLCF:threads=6elapsed=12.411cpu=39.804gc=2.736factor=3.217zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Q,k! Ps9@h1<:L\^]$6]=Z5=0hS2IME*;K%zd>\[c?^f#ĭ}--LRIi+" B**K675.@z$xy{bapV͝iRL^m%Gd64)]Z9̏-"iCM;}n~wWS߳=A~ 凓Hk,a':E5.%p_1r8_R s䂔O\1LqlY*Wf*BRצv@$Ԍi@N,^]$ ~(Rm0edsAN @K@+/ c-G&5,e~f ?'AfOXc(h|^aR.&Ru=u-7$/E*6j;ߌ"P) A.a;ijX:*4fJy+Fp[Vt?9u ɤ?~VxZ]QDo(+p?NﺱgYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]k:(טf˟Gg`0 Y*kxv&Py,ж:ux\T[ C7s z\:6H_eȧر Ȉ{P؋sx=0+/:+$ 1`+h|P'|M(ڨ"jykGObS+Zl!XǹW}Wa}2xKq72z Zx;OEpb- qZ_H(E~-3qysSe<`.(I'h|;|`ʶaɒJߗ"=*+T?F[飼h+Voiwq?DeL=A1qHUm@2:a୾/Pvo_?y,u-1: +OpjI,p2~ˊd2,w:9{zREhB k#ۓ&Ň\<$0an;ݝ%6+Gٟ䔄ASڮuh ZƪᕫdT ٴ,m)`F2hr#gYZ7zXZִF! E]ŗXi%G˜W6Kg 8eb3“PrTٶ9􃎆6"oEǦ2kωJՑթ*^ɕ #%+<Ծ9վ mMZ\(%a21Bر.չh]sU2b3+pqV'n J6`eKP1Ԗ #/PNO;:&P];5)e2],a0{ t Ղ;(%:sڪOL3ay8Gnɣ;LDګ&^$mVƦZIR%^dځ΋/(lu\ɤͤZ$=W^%dti͢p$h@ `>Dm8G') wQB4w- "-cn-i: B~F$ 8o`Ba;tʥQkݐ!8 *k+Nz$'oTWH ,UPh"H{zVĝ~U:V\\]4S pW?* w.Y ,Nx)X-M6?AW $f{rL-<0o P,'.N@3i%@VFFbˉ쟨M5Lص&f0uJbj9{b1c^o<.8ŝp}H{{PyE:),<9Y!C+|&N@"d%Ch6aApW)UgϺU|YLJ8Gtjiѣ;ۍO:I,xGm[Y0=,5f% +1u~0Pѷܯ6,ro^.5Z:É0CϻenKlMg`bZ2)BgZ' @i`'} x~![)z&iIK^fϳ 5 ^4