SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  i i | %w Topology:threads=2elapsed=5.839cpu=10.732gc=0.808factor=1.847zXZִF! ]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C r[7p Ӑs9(A}$ waDuIv&ϴxقyAF%H!S@ple Eۑ-!Xh!Duj4M)ilm6ph4 *{$70+{yđ\yʯ iu9Ui>G^d%HGi% քW/Dz ?fgYZ7zXZִF! ']ŗXi%6y4=(R@Yzӎ$`M5/"LR5}MdrZoA" cERy۱l3xPP5g78Pmd=.!p`ƒ6%K5k-mDhi&f3!=\Y`` qU$wiIpؽ=9zrb;w];\鶼bzr&m:Y ^ &l2rZ};;}40K\U' ##uuࢄ3Ybb9 qQEb”^w U!_oJe/>wxLxGr$o`%%3-p9kQe 9/9 T2H+g%۪ʰ \zA[h<*7,0ҜVjG#+jzq+Q X#g6YAn)#2\ԝpoMMAㄘMDRƤ;("# (,l+}9^h%pR5}WΎpAIJQN!}x{l3ަ$ 1Y6B תRӶHd~01qWp#ו pFּAq> >̛W&vqQ$FQww7ͮvf'[a`b(>7-`I'o')O m8Vt_5SOYGgYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f2225554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 8c22ab7109fbf10bb002ead08458c5ccb5316d06 a23c0fde400da2f71f8fe27868623811012cc041   Topology