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 z |l ]]]ZF:threads=6elapsed=12.373cpu=44.764gc=2.928factor=3.627zXZִF! H]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_ckr'8yLhYc%֩η@͠`OGGInAGp@]!H!`|v׹66 )-NdڐxKM;V,Rb?(JSl0/]@_ܲnVwz14ro}9S19(p'v6s[, FmmҤ-t p"` W>(=հkunsV R>G3cC7, XPݼZtk2 i}>-^#'xjTWO.yGxD AcE+lf(1Vcߕ&m +[l Hy$*[ %**,LZ|qO͞ ur(Πqr 9e@btPǣN *x)]vQ?|}rl?a [h9'&^!q-gYZ7zXZִF! 6]ŗXiɟ 1FE`穱 3Nfm?+?FQ]&8).89AnW?.ۉ, *q2:Qw)ڹs#BdvĒOl'P:44 ⵙ+i"JjgcljasW.荶vf@R9 Q}Pـ$Von|ޙ?\u)g: -#mTyH2cMS:Uu3D?zlCxR*t 'QDC;[. 4.%9 (ν;Fsc@?.%}ϡ3۷-M4tl]R*v$PJ-\:5 }9̫6F,wa-[8f?$H8:Å?¦;>_ӑ)Ic+'~DʥFaIxܪaO%"KNyWA7+%A%nx+q@FNkV%ٲʟ_HAYڢ!I/S)( X ^=ܥ( {t gYZ7zXZִF! <|]ŗXi%@hd@,ir87Z7y,+qYsŁf(~)_w|ގHļ Rjm6#2w8<yS;$1DvNߚ&_ľ(@3{$r4@m*0O %!շ?6^#bpM-pTe1!1A3QD] TNǤ r5Dsp :aLhGg-}4d @{" \>A5xN$Rudq7@<]߲5py$rO1:6hJ7no=RIC=7~SL5̻9<)daF^*#e&6(Kgy'ǞX]>KnޓcXȱyi4<VL3y6^ziOTb:j kOi ?: RGa Q ŮlɬgJpR_ml\ #;ʅ861kK}ܗ Lw&wLS/K92& Oߘڠ=@sǞl u)HJoJi~i J+,R\1%sl߸qNGI`\'-ց3e.|: S(nP6t?o/}d8>ujRڀWFT֛fPTeZ^g ?\`͌VqnNH̒,}#X%W:b3 @iXVFnL{6voV)q=Bfogh0f=ǣ{"$g/\v3H0w>w`()T1I#&#X&\oI~ԹhnB#B0>>-LBrq EúqՃѱ]h@)3O~W\]lQLBqYuIAH(;,-Z`$=}^Z7KzWll3JVu^6VJ6L&2uIip!E)bxVSyM# XBUcW7Zg7Y o{6<#JN7ԊkyU Ax- jN6n ! F&.ԐKQ+P?i.!eۼx&P]3e^trtdәj3*T槇)m x|ӱgYZace1a81a9550a01f65146f89664f09bca493e43de3a1ccee455624b3686c1405fb0ec62cb06ce178b2e11859bf379a739e468926eb3084a9a0612936  ZF