SQLite format 3@ .0:  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 c) d<$ ]% Jordan_Hoelder:threads=4elapsed=10.449cpu=36.760gc=1.188factor=3.527zXZִF! l]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=98R(\x{A|' .Dy7DڦZjO ԤwtW-8Wc6I"'M1Bwt=vqFz4L-;7,Dxsஔ#$Cr79_ ~쀏0 Qw 0!v=f}8s5"l+MUAu|R3y0oQ00g;גVHV.@/ (tѵY6+&]o|6^Ͳ<ԁU;& Q"6IoI4H6F &sQD1gւn ʟ}Nh;21p(]:n \<fB3SyfQ?=OpNݓԓv>,z'T!<)HDRjxu%klJA  Up?!L2Sy r{>GPTZ?rw'$IEZ] { 첝̡ʣt3@#HpgYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz}i"eȕ6N,o JVUެɪ ` Ya?m- 8j#}6k 2zvX vP@a\.4JpFZ\ ̕ӥAPN' .~; gGjlIX]ƬB>9g\w3S3bN۹~bsQ-=,X<]CR"t; e9 zhYLjhGRͱgYZ7zXZִF! P]ŗXi%B۾2Ggѡ u7oi8 ^T9 Ӣ͐+ z&n?\9Cn*|És4s[Pҍ'+FnxMվ8JIj!gELzI*+C,s` tJi4,YZ?uehoqgx [*I38e1y0ׂ}7cx*9B}6bARiΘ:]ju &n=e)OQjV:g(xZdƂFtѮP%_4WE)0P,haC4}_.:rᵦz^.tKi&lZطY B(PzVŘMpEf姡%"@ 'D-FӦFqƯMUJIkn?߀b!0"fpK,k$Uq}4S4yxOowYǎSsFXǟܨ2O1'0/Xq.vo]AڅEPD"VdC?s]_`XM8ghk[dZ*z3:OuyJv`Jkd}V"%d.} "-HRXj$N4dtrbGMlIpe IM]Hy[=D"UI5yl04`۹Bݽ:5[PԎg+@"򄸻wٱU֌~˦_#:jN#7{*&!l̀5f|j\oDWYKLj@'>"垩b4(ƣƆɗejd^0HڛK1 SC0/GhȷkNDL% (C$(Kz8-3AaLjyj˕Ir ih^>RQe޸mtX"mR|%q $z<ѷx﻾@s 5DeE2 PA:ڝ^vd-+ #Sϛe:P{Y?b@f+6G \