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  k |, ]]Word_Lib:threads=8elapsed=26.497cpu=81.217gc=4.349factor=3.077zXZִF! ]ŗXf1-/6vR[@WdDZCØZ, N,ݐSt菤j.=XA>R;{{tEdJ{X"۟1Z*|a`800 )i~/ T,HkZsO>)wΆsR|'H(`m1NmʾAꔼn{pk,pH)p5%F!^: gVMqJ忻3w(SD#uڡzg0YHb<@nYj=Kk! p9-(ԊaZ>i1],j8L$*VFNxjԔ ["W52*i] lAJicYeƾs$y xxzEٖ4 ; !r}_P)3_΄]![]sdwHV14,.؈W/YK":GO@qmEM   Word_Lib  xӡ+V|PH]WڷnbWmMӢ1eP4l8]vtGS#К3[%p_ _[j#7p= {e /?I#\q]v)q`;FH+rȻJVlѡy)uuf3JeތJU/r.[q2' h߅׻os蚿-T&n] u=g38?'\iFdUEuf }2W=s߂h 4mՊRSyxCY)'v[LnCie5K*z,X8)/g$P$4a.A!O,gYZ7zXZִF! tx]ŗXiɟϨ:CC2 85QjSeI橞`*aT`TaX@A*qk%iq.ko<ۨq߭|cfee/^\#1(H[.~yDSlfSϬkj. T'pCno.MJKwo ą*,W ? +yP">w%ב$6Ըaa,Y{epfԩB>2/+fN'RJL &UN54,`vI4iי1%)n 3||RBX KMoEliTOT7w9 N}Ҫ ~pOj^-t@8q uS[&zI:=ߊkfԈ!r3_żj=]l_گ}j0\@s_}&0z%a9&3b0Q"[DSB&7d/B6P.{l^!:xPUz2 ]t(„U,dF1w_ij.m f m⒍`X[%]Un{˝IEZokb|hZ,(wy5 Wz}EZ>gS,^Y(nԽ ;<В|i&4Y=?$[,+m(Vz a'xoY:;SYe=|uVLԔm̀B'wdl;V~CsYpJ[gEc*X`wCieDp7'8|H/N"$ڍ7)WT97YAIެ՝HN]DvsS+{mdXEM_\}DSZ!S}-'s0`K-*=,tXQkogsg.0 ˠYc2N%vW|S7Pfm:Ļ 4<#=q@{l(KO;y]p !zKug;/d茉TqU/[G&*xl|jQ\,xPYݣF 5*:@G#bJ_~ q)X/u/+aO6ZMliڶ){6 tQ[UNrM]R;~p©ٴ(lߞӽ.UUg' ][KU2:շ򽥐Q3-1ɸ\Zo0d3ӡ9tU22{NݺU*cEېs >ͪǷ;-A麕جmq@ALt ̦(_̣.l_2E`Os^2Yv?Nt@t-3~dPѝ fz7-L y[L^Fb1_1>%"Z:`ooT'`^I: @iOM)#ޛSc5u6+Nľ &`(yŖa+7_5}VbsBgYZ489f3737211984d1f92ec75f2330e7015fb8eb11bbb5b609aa28db9cebc78e0c10b29428b5e676bd 28100a2ea34f8e56f0719ea87d7ea43a4de19490 5c0630f619bec019519b38a32fecab4cf059ade62696781e6c40a14c1d7ecd828d6c8dde2939b0c1