SQLite format 3@ .;  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 } \l ]]IOA:threads=4elapsed=9.697cpu=33.160gc=1.204factor=3.427zXZִF! }&]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K/qzs!/+h]91$sTPlo^/H.]mw{* Z/Rt-@6,OF'aݴ3t%_^xκU3_VxQsN ie_(>Pآu@Q,cEU6ԝ~QI9 ta3#YZ|n/:`H* # ][)/J>K)0<ں8 J "g֓tkxˣ)YjxEϦf_ AD>HQ\(88Ly]u;T}Q"09f[cʸ f|0$EKAw5Z# FUW+IcEG֍"NΫC\{k?*s_:UF ޡ-)M7 +X~d(*d ku0KovCsQBy<& Q?T9 4gYZ7zXZִF! `p]ŗXiɟdN'LvH۹ES[\=ET͚@iƘDz7J::/U?4T((Q{Ψ [K- 2o?'eA*LJ) %ty 9HndςgMd&OIQBd{oy6>Za`S|ϑm(̢**X(x.8f*Y}V sL]XZ/=V?&}Pآ[$3 MfP3c戶FZG( .Z"IYԽ3{mMMA ʼnS-)Z6 ^f?9iV3 pNc- ?=b9z`NӢƹ^HhX]>_i{Zgc eeHt ⍝4=|xmDlHD-ZIKMĀBMtp΀}> VȞ DXΩ3:#vJHAw=a[hVN s'3Ŧx9<;#n9/Fڄ'Z=a/uC(PrAOQ # &WKeU獼!LC>îh"}ێLUMWR4%J#a5h%9߾1E!k<N\+6A]LLɽ.r<8R WA./C}2n?ivP齴$z-`.r>0zZO5Jޏ9w/cKt&veɳFnnM14:Pi8m<0g'k lmW>LRfp\ D)d$8z:w.!,n_Q-:B>WI:6W&j z}Q_ }1y}-N^ض `N -z'x]wAmWOkŊM)ORXK8;M|֭C3وCg3330r(ơrq^_vS.ȟYs#ұMu)j4ÍX/@vǰ!U57,@X^38,U݅q)eA>e d]-vP' .h{ g%3mIeSC+ c[Џ?j|ixIZe}Ɂ1"= LT oMugYZ4b4650a91948700e7d394bc23c98643f0f0a82dfd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 56bd5552f8467ebbd94d95742909e24016784de67e9b55aa152ea7056da957f2067a4361734a9165  IOA