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 l= TL$ ]S]HOL-Nonstandard_Analysis:threads=2elapsed=10.038cpu=18.472gc=0.848factor=1.847zXZִF! !]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm(@7 T@DwQ_a L=u''L!<Ʈ h 2d@:<]X$" .p#$ۚbpzjF^_l™S )5&  8mgYZ7zXZִF! ^]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>3Kdzy}"!¬DblehxG{2Y#K0A̐cF#ͣTM|4) IĈs\?Wp^e4?=n)i.p-p/V! @/'ޡF,8'I2ys,>Pau,ΰ, ìV١ʗ*_-ew6"OP®Zp0(ɝ6Fk/;g3q CA,1{"{м\ 3u4CCvEٽ ƚ$*W_y1j)Uf SE9SRK[+P<`.;w/͈isTu,$We\ g$lUgqtp뭚)CM#Aez2fP#3hw yRA/"%k:@5l˕ ZKe;ѱ"@ֲK =0C6:sgڄ1cIHbKB@9FgOΚHu R_@y)c_Yw0Ð5qDA?JC-0EV'ߎ=%8RjOm/Ɗr>=g-d(G:Ϭy%T7KU87 .Dvrh+D~jreA9;Vvp;(}P=ZCZ:FP& o-qf ZUZ!z kBB0U%9 MO>9&Vyp= F9/l9R;9K<>S/4~&#DiFrčJzLUu0lT)0cWvDhhf9- :=doKTZI,?r4C}%?R2VWmE$XE)~S,¨ItPޠҾz