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 zz <| ]/]HOLCF:threads=6elapsed=12.556cpu=39.052gc=2.564factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@08gsm0]h5wGQ J 0ݬI%n QՈ¦VC`$[4q*Yj}2\X,v74)q "Vվ0QW hd^PpN F].uv\d8ǃ{$RW}$y{gهa[KgЪ-S.oxH ~YFv3)C7Pކ RM f=T'aumVa’@9oId kTs~P3dɨHs:Q ~IP'"Cu_E8g 局›}ZxhT脀aD%JڑSX؟.癧7JH,c.=Fe@0bT3Ϙ,pyΣ]u {4\nDKhQu~+կ2Zwft٣kʈ9h'Ӈɇ9S2]hα*Lp=2Hȸ7/Y`n4D i=rܪ޹n:D=SdXdPoFW>"nGa_W I4hA4rPU*wۇr|d{̭m5" hڶhj[p6a$Ȝj?ݲj*D.{l6[nO͕١0k(ۉJρiV5C-y6K=f\oljwU^#Q}yƱrPi =rSk |b ȥQ@|5ѻ>(Q@$ކu|O\6iY rb:п vt!]O# G!"me _~xb+"T_3}izG Se "A-HҎ X.*WD {ĄRmfJLHj*Vdmu=& 3̘Yò%2:k*&y|mfzՂ;ՉoM-:gYZ7zXZִF! <x]ŗXi%>vY+f>s 70SΎ)8tV :D>cvR) 1[@'|&u^3iIw&{ X I^ؽKϴ<0*i%Qyc!e㛖a N=ῶs&C6GTrxqpGDۧoD2"9,M:6oOi c/.31t5Q1=Vo=SZnGxSsC aĿ@!I)٤" 1}lBrN/96kv0qqQhRv?ڛUuQ`J^zkyh'k~RڅWhJ՘ *X) SԟGtaDF< iQBHCбjOvɼ?^#/nVD|\K 2tE$K^ |._J{\p:]I%XtRnߞ yӯ>>.Pr- /.rpUEw}.MI66{Pѿ[ #hC9ͅlw<)i-eeL1u􁌬ƸCtZ|ՇaɘfʢgTVMCִ඿pҩv H0?nݖt4( w^{+($ 7;5ôhT1LRjD+$;e@V! 8B ce4$j;v-nmB? vOl~7tF1uKxn;$++ ps$sԞMq|RҴIĶc