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 `) Tl %S Dynamic_Tables:threads=2elapsed=8.567cpu=16.652gc=0.320factor=1.947zXZִF! ^W]ŗXf1-/6vRZaK Zf 0kߵDڞӯk@=ڷ8{8 Ґc%S\sIv{4pLVHC姩GKnORf0v>Dǧ S9$]SDiIg[$uc$ U, Tauֈp s/5HVudztI)HWya0~0z]4Lev"l eH Sz_j0?lg?"aa]*v!w.tL$"i('8:TgZE >Q9< u^Wx|MhR 66sHu'"8wP[2olzB& yᑻg p; hI{aCV~ jE*\TbT[%O59!U X9B*kۻTF>)Zo M#l1Ӯ,x \Y){2jۥQ_Wǰ0\~CaYsk7 -} ĈEH@~fr`gV5ڈ%قg:&,nҪg]fCwqZq>.@鞞'pz?fzJErpu,8J!D9(M4<:/Wr]ZSn<ĐGێhV^{gc%G5>_[k^Y;c?8Y|;bwqȓAN.n̅lc? I\H $-,\CM\_l'#N*9@ˉ,,Vq|uses nƅTj{Q5+"/8G>- !97<k=_ͶpGQTS R/hofq.b̘Ϟk:qB̸k}(g)轵ת[yJR b% G[̱figbMukt`V$tٷ;E!n&@OЀ\*nEWC|BM=gvOɴ!8*3M1x &c}x4@8͞Mտ_v&-1 EJ|i{gW,h]I-`b ȯkq(_l$Nqt4)ʃ=WȝzԤ5Tf73w-#ByǣpbJYJ$ \ͻ/T|)d'mgy)w~qLdf=O̮S!-XJ2ИP=/5̋io53 yv?' Srl64) kkuUX{5q;1I`h79pAk;w ؼ*ź-gYZ7zXZִF! 11o]ŗXi% ۩Jkq=OzK J_!'L"qU|sJ%.~DH}#5}R_-qJ괮]3dN |n lo]28JK@,!HyLySב¹⾉{_>ךeyC,練_6O"UeЛsm8p)'-R=c:MnuI =yDkEe]앦3m(OcЅk.mC23GƗ/k7+>ڣTvJ| uۣBj]ڛ6J=KҨmԞ/H<!T,λ#NFCm<[q{dG>=q02Tr 0奩utBf7nKM/rȤ8>o@|'ـ.NFX $nn"K^>r$>6K?謺 5op.]4TJSRڲG\&l' )k<ҲNN!m,h  qwfJ){.֜#4Gp歶)ѼM'ЊsI%?0O͊4nЊMz>{8|z(|$3 HZa!< Z8@<sm~@ElP ??+q+e`u7 u"=n.AdQ#e8 A&ʍ|IYX"  @8zUSWUMtNR1L}.7N+.USYYU椚o)$3 (]EңIOPbS"A=QZbu*gYZ54422d2e441107a94c985566f47ba6c8bc00fdb1 70b069c01fb973ca7b7242ff41b1634fcf9264fc 80c6ff8b9b633b73ce88466aae10319f627f7b03 a38b3dd93eeca7b645dac42f5297f6b177932aff a9fe49119bff4bf429d6d8a087e420d260a29e599711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 7066b2e5c77adf8e7f1887caa772b88b719453b2 ) Dynamic_Tables