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 o $D$ ] Bernoulli:threads=4elapsed=8.242cpu=20.880gc=0.328factor=2.537zXZִF! L]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z* SqkɅʁ/tΛ5tWbS;7+C3-=ЀEScw4~4[0~a1% k5k?  k3ZX1/%2q{rM5~ .gW}AUEXzǂFJwv:@*2D >4.+or,i`=eV >G^ru/1Rї ?2Y82R83ѧ'SF?gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLe _ rZsI k\hF2eG@m3 4}|pXP#;jv !fRJm9" 2rUJlH=89AfiQ~_fV/s4D]m^gYZ7zXZִF! E]ŗXi%B:g؎N/PN=Gtjc.w`-N 2⬍]Fa5.ԗ@0]{'xC'CGbŬ:Ԓ{[gw $yW/K z.p݉C7Iĥxw;X0u&K\l ]q,lM+2Kw/`tG4}lDa-Y6r~DR'ș71HvnXuiPa8F&+x9m # oZTִŽUxlV3fUyy|L9pTٺU<ߵ.WLwL}s~ݼf>-R ]TYl-Pl3{98!2!3&eV{@#v1:[ Cf) :s&ZcM+~5зY\gԭ,@R}->AJ[Q3ŤH]QUl\b>>U-zۛ,D#C?U+{/'tHCoi{n;yCkqac;URpa.26;Mn'a _#4a5LY%ToSa˞nn@[΋\fz|n9Nӵt,MlxvI:[B]%z;|- 6]cK03 gD;k&K 0Hp[A6~\3wMag*XZ{C~*O)t= t0v50@ !7+gp[q] kH570;WŪ)_d@]8mt _b>iEYzKqM(7RP,\Ƌ>u21! NFV $ VjmC=-6 EjiNIJ[T?ͪ Mt!Hϓȣ?\R'3nAGtbf ~ rl ֎3ej$N\p zDKܞ")-Y-Bfz|!I\j}ٚ| nkK£T1+Bzo5vEB@OtnRjD9^eXf .iC`ik 8iL"83YX%PX UXDMG=q?qikO^ rlRwgYZ7f478aef771ebf8672f0f04b1d4143deed3c7c5313f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c   Bernoulli