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  \tT ]/ PropResPI:threads=2elapsed=15.795cpu=26.080gc=1.048factor=1.657zXZִF! ]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^Ot8:)UdC6( ao%OLDgv$CsLsuh/ü%J}eFhWAN锍@{n |ZJU_ol.@K2N|]WUJݞ~a|HG52"L!@]K)),Z:JYaW3d %W]v^OM&2Sx60$d|QTgGJ犤_of;6no~1ͺp~m Pxvit1B[XR%ؠX85߲r{lv: \ضc.z]gYZ7zXZִF! q]ŗXiɟ˕A|tYnUzݪ7PE |JT2g :JF&vգrx&:7-Rhtj_ \{LtwU8Yj,ő8!=5K:}@QðvggV /G,n8#BT yB܁ZuP5-q"$|#.R-5.9Ï|z2w#n)g#vUq.no p2A!GڻlOZ-6v(G|iT!%t)7`cXJ M)r{ҥzX)Vn߿0FӨgZ׌@j-"/Oſ>De>y再R'9ɯ|L_bLg?*UE[.|DBߗTCif/~gHV H!Uw"@rGW:5B=hO |)Sd {>|ζWIڡ&KhtM}_xf1 Y3敌dt%{΀"*PqL(` oL$mfM; Ol'\[`"7]0{ag7jHcJEIA} /U4H@klmhq~>g VnՇoG$c,c f{ 2dїna1Γ'6͗>v)[C&< ӬπD$B_%L):hyXJzlq- BN(=S rmFܸ%c;ti w!c%f]тRgغgOC][m6Sʎu2] [No/9}_= uv?C߭v_1WNG,l2{~a ݾet1'`ށ2 U\v(TIrfYNȮMt;ܜKO{Z7l9{é+Dt'ؤ՟;g:1?UᔣM?3&zaOLz&-Gm!,guWۀ4#DQm3tk*'qkzIJE1qvF٘V=:*!b$U4^EeԊi7o :M֭SQd ]eڠ^U/ΣCC%H(V=% v',q:J2d3b$溝yjd#V k4*w6!j!c˶%aFIp=di ֩ygYZ25a83a3799aafdedef5cccd7ff21b7f7e3552468767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418   PropResPI