SQLite format 3@ .;  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 <<A/ \ ]% Pratt_Certificate:threads=4elapsed=9.971cpu=31.296gc=0.444factor=3.147zXZִF! ]ŗXf[& Z*R =dACAYS)fq?P5<]gU\x\L^&"+>f[ ކ f\siק$ Bt 4)5Me%XEZ}^bO|T% t805 ;;Ψ OO5r ,<0>% UwL'r68pbǡק^H q9qA.yB5Ӄf AWy6(Titoqq߱}/ܒڍ *5VT0;UfX|o鰏ױg`="C_b 'y2iadǽ}t4YnggYZ7zXZִF! z]ŗXiɟIPDOB`7"FL=@0 )AQ:Yakx/벼l!],Fjh]@cȘHM0l"| A=%ĺ5!L\wgYZ7zXZִF! N]ŗXi%L 0j HAmlZb牒\X|[ r%EIDz$@۝=op$HFQt)-OP = `D p`h3t;]) Ce*I&c%|$Ɖ!9 wG]ְp6&8k9_)VxWf w쏤dXBPgRDM)zO# ʠJ>W rmBX zT]EDx;xHVwMƗV0F |ҿqgE2~kg2 @v%Li%N*q_qP[.ܕF<&dL-D$JkC4)sY h/Z O>â,putܐ&E\ ^^'tD޿ݴR-@x:lSg޳"$7SV pK~R@g#ƭQtW*S0z󜱮Bc{ c,4ZN ,hàܿQZۧse\I\uǠj t5hDpd=g:~:σ+!U,o0ul O ~a٘Q") +J 4`k-Z!ݺ[=sU[k_Ơ*[xĸC;Ǻw˂|Mj? B/ +u1f?Zsi%w0~35ovQ-$anM 'IB`GzQd \BPqch}aDԆkr̻7; wvp.|-Hfc_G V5T4/S&V-Fȑ@n8dn# V[!,ۢdDl̴~3S,-{'Wֱǒ[t?{[|] e Y~Ί=$ F8Aշp!uIDb}.K*9WʉyÉ1ՆϲS/%M,'q6m]U=