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 Q# 4\ ]/ CISC-Kernel:threads=4elapsed=13.901cpu=46.232gc=1.676factor=3.337zXZִF! >]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdWz"%$SLQ`vsb!%]ָñKTٌn^itVTuK33Wӂ +ڀaFkT%6W`\ygC݈>s7C+! (% [<Ɨik7h/͹zy":3@TO:a+/I9pxO#~:B3wH:dN2r$rf(ZxQMU6% ]4#BXy(ʲE7@{Z?WKK :V#3b@U%nFg)^OO@bY)7\ : 9b &]Y>?IŤJl:3PA4\sf=M2;өI1 Z':u9Ј6ei%KpŹgH..8EWF#ģ"BW$J1Oe̫ ~&HƋNßG&0HӥXWwI v5fe_NDpt.ڽaB:ܩfN] <~C*6oxTÍOβm0o pqM~DWJI7@>sb˩>mܳ+iB/xBŧJJ`Qx-Xtxef9 Vənn{MGǑ z&>EzLR{J4ڋ=P-ṭjޗq4bã 3ٴٞyj_pBEШ͛"{a܏[2F5(tNv~4{+EB%'[ N]?Tm*Tɩ_S,s3M@^3cهqyi@&fS0q?x/>/8Oʿ2#p%YFP8,~HZ[?2(&ǫ9MShb-"ndq- YhtRԐ+4OⱡsIXE JJbԺ{?jPWl &߰$-PDwf$?3.H!*AV% 9zc93*4'L\"Ioa>VUU  bTJliω7^wac  N4픿A`խ#:3Q.?+{J^]d]A;wϧQא`=9 mtc<o?-4ё /.FˡG h*!(VXg[,xƒJ5\|?a1FAXW(]6 8f"_ycwC϶_sEyz4};%OC(uj(c2װ YB ȺRfrO0sߠn y@ B)Ns`~KNA~*XYo\څXY| аd#hO} *K$#Y8&wB>Mxn:Vy6K?pҚՏ`1> _\;bB!ރ'X(ܓ=Rr+]!zb@^eBɣXHUOzt8@N#:St.n*Yl+uB L8x~ RrxCcK92&rQw'̰sZw.@mpυ'$ԒBu+ㅈXH8&/UE8k2/rhu- <æ(U-6)JggYZ3a2344e925218d5de3e6628751f5d18bc19753a287d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 # CISC-Kernel