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  |t4 ]/ PropResPI:threads=2elapsed=16.487cpu=25.512gc=0.860factor=1.557zXZִF! u]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^O&RÜ-VGc(Esty ÒvwВ^?2dm^L+,4կθ£CՍ_>|ئpSI2MnHG6@!O=vnu2+7@/oʴ/T :MdGakJ72GΊtLn]0qv gg9<!h _ )9-T*8/3`)Opl#ƒx9+a 9ơ~kZe<a x?lgYZ7zXZִF! q]ŗXiɟ˕A|tYnUzݪ7PE |JT2gQb=F_x/9 1vjw}&Lq Llxi@(3&)^P{í8$ބc{DV3MdI+f  @{- =66qwv5n<"7OσOb"@w[ޚ7Ř%hHPVd,@TUx1wQB Dg6&x\pEinkg20}a.6-5`,t鶰nW[dRHpY@vaivϓo _aDƺ8[]v|9v@Ɖ"hTuQQRy;U!1sza.vPMbv%@#-}t Anz'ԅo@}--j%Oj #*^Smi'AJYЈ]!|$GD[c8J>AtX_3,VLz eP,Qe`7ȶ84™&8Rb)LB/J#;dO3Iwkz WAî/JfY]l0{˻J"1 줭 |]EKG^MZv GA;eG~*%=qe8νXʥ?d b/jf(wKD SH2~ yXOL] Q6Մ,bNcBeD)y6~2.;0'[7ѮBD^/+9ޙ&{ $UM6Ӝ ""Iw 10$ 50>ln-bv(#UuғEEwQȆCwO#jz8 #c $878"CC߆Ly|Qz\xja8|l ZշgYZ228da3b53e45e856cb36f4c3133a762782cf0826a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8   PropResPI