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 gg l4 ]]]ZF:threads=6elapsed=12.190cpu=42.788gc=2.428factor=3.517zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tvxl@gṕ̺0[zX *$WQndQBБ.kjSɏ'fveʝdsZm@ ƶcI1m<,P)Z S.yq>b꯻h>V^֡wbE>"Å/Dыc.fBYΫD\VWkm0Ѱ=)<6z ۗhNEK`d?:šP.;~;ePP JcZR$jxu%|v,a:Yǿ*nRǡ} 4xx +#!5|6_M3gƗ=ap5X'BfH6~%|f(jlyH,λdANƎʵpOB,evW"Ga?aܧMZ`6NDV!5)sf;⡺+SsUeLsHIC:~Aho;Yoa͝` 8X Ԫ 1(̔Tf(H yH:a .Z!Nݻx6"Hh!@gӃaQvf b"6ƐD/젪Rm) 4prXn7s2>b8-/R|9RʫdBRV6çݴVb/?wa shcXR`oZ{\BO<+(Gn #:#h+{e5UȔrډD V6ִś}"<c 7QwihA籇b{h]Kj Qdtwl&'% Ay_lEպ$ACt !.O7HƄ {@|dқb1bzD)pmlMq | ߽Pl_p9X]1hR](C\&!+\UogŁY:KEmTѧ :P*"0bǩmK“ҜG4!F:!e;IrbhŇC‘-3e.kZWH `sGKҢix=Mn( ʙ~c^ľ!`І̢fs.@|H>T3.Zmi-YXD]2@s@+rǽɜC4[,m碍K,ovBLQ+/kj+c?̋jMH## 0K[W{^ -ePʋ{sy9L_#/F4Yf#4Q6`&cWi88\`Y4 xB?MgYZc2ab9a72003a0b9028512959b9b0302db60ffc97ae96c4661efb67fa55c859aee66272e43d21faf1a2982641c18885b1646e6890137183fc81a83875  ZF