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  dT\ ]/ Category:threads=2elapsed=5.020cpu=8.692gc=0.228factor=1.737zXZִF! r]ŗXf1-/6vRZy_^&Z`Qp Kj'>f[LG|F_۴=yڃU a0K$ĺQ:FH4t_%~$:tbx'V-()|ΐilƺ%.Aߩ0̷KPcL8,'z8?;,{S+@!g">Xvt |~Q^ܹ"krp(!-rԓ䪃d%n^ERyMqԢC=ѩqQH\pw0[{1_vU>\R>%(:"0pĦ1U9D׸N2맥~"4G;rOP3x#4%^ diNCȘ~Tr9wWt>C!×1:qq3t)=T; 9umAn>V}k) U7׳{z3 =#j$HEik% t#Dif6=,%aB4=#"@K!fc/d6,aS=ٵ́)N{[GpYYQvܹ A~2SN1J;}CPv_G820eڄYߵt eC6*v 8t}qL"wc PGtn3 MBrEy%}(eSbȆ%PǵA_R#6ݿ2K%O99szAg4GL)wku.]\.)EqzFfҚ)Lzjw9Q; Zp]ݾ?SNe]j1c[9F3 x#0BANϼV'X}BnėopĬy&{R\ Y"qSVMr18=o4i\8#\QsgYZc7c1461e474742fb94a314ff73e17df2bed3718da70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8   Category