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 y# l,T ]/ CISC-Kernel:threads=4elapsed=14.132cpu=47.732gc=1.452factor=3.387zXZִF! m]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdf Cb夥 Wf[UJϖ2&O*gJ!B-o@{q^ @͵tZa7*4^iK9,?RQskh=zኛ)gȬb.O3'iybrw_3$Wbя8i1bI.Nj5Hdn|w2v- |M_Uqsb0\<['u|{xd'Dni q2# ̏L]gqZ)K8=8/İ/ z5qZó1P_Ƞ~o|T:BڑF8RhnRr`2t]SG99_VY\c\vg.xa`[s1˾oCȂֆ3e?VX|[T>S2 7楺w{}7D@ء7(M|Md/.&ť(HEi`t(De3 [=!JvU^#׭k_E;V:-*u)ݫdp"s֥FGA2QcZH{1~5k\')py5(]FO#!bMqےA ڂ$tNmh,}I]|c2:@1Uq2I囘ہg)޾g'LnneߙY[>2E X 8k V4Gt$D+0lr)?fn#:u~@CCN'c/ĬEF+-̯czx7TZtAh^@p"RE;#JgopΪܖauEkKru  A%$V(aA#5 6323_>Q 6P\ {M'/"P;b2AS_%$|C jGSb-CR8·%>yh3z4Edw}#X.jH.NNn͑L @jlI "6[ yn Hd$luYםXe7Lp'y;kL'I t&}=vNV€g$H%6V{ lMfRf"(}c~-/ y0 D"=+VҲ_pi?{Kդ)wAfųۯ_V ްv?G4&Yb=X&nr9O4G hwk).Tm1E:r`1z p271J._}%r7d? l UBRVUH),d\q&8rNcZj7B$8?c+nA kW* )S>_կѤVL`5;j.0CA6j0$aFȂ ՘JX2EfI6gYZda8e5a19b0b6963c2b32213281190afc3c446fbd76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 # CISC-Kernel