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 ss  4l ]S]Matrix:threads=4elapsed=21.960cpu=75.872gc=3.388factor=3.467zXZִF! '?z]ŗXf[&L_7Ae6^@ 3_B9X.eFuwC{*tQ< xBhɁ#{I2kI_)0Yi5mUsoCk,dSsHo~kB+.Zp= ==lOfz1,/Vʬt6~N"/gG\[?$@$! s#RﵷIo7pb;Ʈ@xR?HJHZ@CM?ٮ̍`rk͢z9|f0 d;Y4rm>$4ѡ}; _H]IXPhSŽ"8"pJub̉+4Q&a_Ԑc!/S>yL p'.`FL@wB@s >y-N )(=X3=] N-UZh89%|6CN0nV9D}{hp{SwY-J>FYxrRhu\IXfH,EQX!Tu]FID8Yl*hzD [@hY&9e@nn#@16\4sz#߹8Zf6y RI&XsX^5״6h%:OlJ=! 3 gYZ7zXZִF! ]ŗXiɟReDH$ 3gE=L3br<=3:k8a/QDo9aoJ@ݖ` 8Ԋ󽅙1<["KnigfDA=MS Qi_q&_qw. g"LsIeFmm[)+xxLRۚj{=nR*>Q[>N8rO~C-S+VPN  _*pGn~ŷd8RE-^4:zq zQ:t-NIPɱgYZ7zXZִF! {i]ŗXi%B4AEKr,j]00za MבX f-e-L[;xUݤC`YSJ{QӍ795L-H:a :0[`P&nqb>0L<d巾xx 7Ya;$䖲5zq*ո' G21f>|D42=Li,:ʟ ˊ)UE0֚D1G^HK{MX3gxl`pWAJBRo3b$֮9Mϒ.y\Eyxp?c2(dI#+$D}#G1|=Sӥi5r؞m8ų@5LuC߾]!P_jMc\j߬,9Ab:Эj"Ʀ#f֗U 0i"L;;]$qM ϊb]:TkKNf'2+*Yb;;&55g;a 7CsAY{pJ %ꁥLGeu3PXCbJ#cȚ8CU#э`7<(@e1 u|*~]T[]SK!b _:W@J[W(D9v׽ydp,ƀVO*_~C5=v; }Y>jAhn_[Δ!AQo'kHHd,eNT ;!E*4MiguYYd}WGs=3=P*v#[,|TK`Lg&@\2 x>xi A`GZ0@+:\n:S_I*cDܲ.)C(&%)xJ@DWBz #s"^I:O}R1K=/B;rF dH.eV.NR5W>YQ{2ݔ)UL{Enb&5VnJNBMGvIL \x,zHmvy/b&iӳU7aV= {@SfdOWɈ{5 ["] i6Q$5R[*]YEi[=YuGM@,`O,腣21 p6dwW#1Lȋ1[鹜} Jfklժ߂U:;b6"sO-2W۱gYZ92c025b57598f9f658801edb198a74e895e17b549cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c 6d15f41879a9ed0eaf7a48e53fc98c4f5e6d87803527f46921d6a8f450a8d26cd58f8a179747682f   Matrix