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 ~~' Dl$ ]]HOLCF-Library:threads=4elapsed=9.701cpu=35.188gc=0.860factor=3.637zXZִF! \]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlmSMT ȍ Z?uLU]5N5bE7^zp>ηKiqXxh_DIh|ɷjItt9#ʖ8pZMX,+ʆ 5Ԁ"G4K/Cj 'iW<ƎDJ(@Ly`Ԓ\8t߾ b-tُs{tdTE|Q?3yA |u~!$6 GH\mƴkxkwKC}q$0u{Nu3Jb{^/n4d,xG%yrt%q~ $ұSgYZ7zXZִF! 9n]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf{ݵ/A*bv(I?*P k}&GheLH )sڤxV}<Ep X;*:o{mb2c0;\bh iN#h6RwN m?֦^;~*{/#0]u; 8JHWi%W l?q# kVl;ģKV>0L-P`U״00zpG&K(žf~gw}LT? |[p+s1/]>[9Nm†P>ߗcG R;NJ DgYZ7zXZִF! 7]ŗXi%B:fa2Ll- l8C Q\A&Ɗ:u}ٿIHȃ@rɥOulJbJqn97Q3a;)t@֍&QW 0;\L- z.g=>b=4$=xg{kV{msWR|I)\*Wqdpٳf!=X>38½ld) ^ Cya #P(r1SP\pQӦ>#"=>֣n9z{|+!0qC,1u|̠C$/-cXHKV $a2:]?sc_%ZƆFNBin58?g)Ny,3F;ڞ'4~a$f} 8 HVS<ʗbɜc [̸ ^:[Y9iwh@$c+gQ9c]k3\(T^2 *mWs5 MyGSWcFfknQy>xSbY3^B|16T-*K=9["Zȡ(&ѽL GܑU~cf~dZK"SrZ@}}K$g}O="?#KM㳇JZh1/[m%Ll}iI6f|P~)Nc:{n6i_t=]݂BL{ϵ&L+g|]$>()۴2 $;vUJxnp/vs6CwXL,P7 iִ~Zy=Qe(T93hpph - 9\/)~'liFѩa7]I*vOxYkȿOs;,yLF_zu M{N>݊-=Ncw=/H07Ǎ:od{By ѾOMT&@40]O" SDBlBC<>82f=x]O/'ME /c*mVFG`t؊b7[ ט0|Rje+ l1\p'