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 m |T ]/ PLM:threads=2elapsed=33.608cpu=55.076gc=2.104factor=1.647zXZִF! (Ju]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W"ߞ vZ>¼f֎=# $) CUR1bJ5x0_}@6s^}a6iH x&fS8G*jL2ЍunKy7F5~UŅtR~<=skf 90k1"K;!kSFdOP܇c֐/Tv]4=`oU#nmvF@Ր|OVhQ1ӣlS/:^[ޣHMDNK Z,  PLM  G(uUTSj8Z7Mi!x6wn4ݘtR`"4ci+!誠E :PjF(鉢ԥ۪Qwx_v1 /ʻr%@cZ`eSwW_q%1rHň0plͲޓa7nRqдd'Ǟ`EhO֋̣C ,g 6J!OY:*P~`y-usލwWn]bھO]u#Z%=x. _09_K2;=(gEYl `̜曟r}']x UlyW sm3(|^Η2fF&[LLˇf3Vx 7d2xg|tKsXhRƁD3ο!eh=~~w Ja^ю XӰY )%|vXƫ.VuRjzCI8xX75VwB0w|xU ?atER2oh u2ob P4ձgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ Cəj**&TNzρD>9Q{^?ќX kN6?X,>xa?q 6 C#$9?MɃд@eG'kfgn3 Qd*&Ka'WڡpR}qtF;› ƤXXC<@~S'):מ1BQrYx5ԵO "`lreqS}G͎BCPaʢ fkCp;A#dNwvΕ!z(Y9jƁ\$&92XFld-z)T?TIgvVTkZ[Qbpz/Y'ԁ YߵZ TͰ }Xw0cKCiA[acŜbnK ҭc/\PZv=cZ~|`{<>Uᙗ-(L}! D[; +`0FB6( ~HY0zo_9g; I}s̩oTB41Xa9XhEc)Z*Ces"I؈Ha M}qŐ+3K8\pS#s tyیsjߪ@]p=ۣm 7ϕ_/.Bm+qF(r w+QQ@p/o$8u8&7ܢ _cu4+ɏ֞!M AT^dF!8#%h%DJC]ˮM˜Y&S15@C30/4ϛŖ c $P ) 5kpl{WRqK4x|,z&шZ3.Q[xp5Aܲvd{YL)pc-`rN7&ծQˉ$~1 Y{ 0ȎN_Es+e<VoF&v'4Aލ\lq?<5KҪ8pChlPsA͡BLhs„f|wg'?SW?PΚj\C{$o8b7.3Sǹgau~Dǖg:"#Aigw,Y!} (H@;K[XQ,ݳa5q9Y<թ/HmGTj;8&Ln>tp;-ȨwBw]NKvYN,MG6r?sD ﰬb#U/s #:#r,+UyC# PFCu#EBM+L"cf&yN%>S 3< QJ0~}ܔτt)%܄V+JnuĈx"cȗ ^:YUPjp ѿ[FP > mT_-&Q{0H v(4BF |gYZba5223639d97343c0af4c28a63b0bf7c9f4d38d5665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee