SQLite format 3@ . BBh77otableisabelle_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 11L TD, ] Datatypes:threads=2elapsed=50.223cpu=72.068gc=5.456factor=1.437zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mimQjXCpֳa[?~|]pp'n9~Sd{8' e5n=*b+O9e9 q@ݓOշ*ǘ5j%{.F՞ȿ3|Yo-HwJk0-[?B0Y[h}1KyO5*˅.]iFU w[su%݉\%HWpB#-R<-CZniF' +\ i&w~k3֟Æ_vx3AGL ́e&CW3S/<5X5p_*d)[2elH m j''i3Lp%+ T, AÐDYvdjyBϯt)b#" <Ѣ;?^Փs|= "_cIBoI:..LUzfWk CD=[t/§{@4Td]ʖP LN:y81EOg=ӿJl^0QVe;4boc6OP|sf l$H֢͑uo-V&U>ke|O̮yv>:1󨰎RO$Oٔw$@[@fY;p4n^OF(bOqxX jқŸ\#BU{u/fxk N;sp-5[q2SȌ-6bm5*R >,ȤgFV?;$R1JY髶\-F iְnMαRhs…!s,f, yV.)\" # Ok2{;e^p<&CD:oT b;15%q@cF5O %[4m{ Bvӹh. seBvޱ8AC` ?.bWu\y)#Q{s;X0nR 櫕e"B5ک.A}p3P{E]:J櫞ޱѴGxKY`<nM7STHn 42۶G=nyWAY$J,Z -BNuxAdf֋p#@_6l{οLauy(Wo vN7_[YwQ2sјUl{=~o}aFꮁ~Ї׾"(ۛWB@K`Y*Sj1c˟#0ajDD/SA[6Ƞ N:`j1}EROvk!227/(AoS9S{)0#$E?-ʅKl{!|:YΘ{:`sVE7S8A5ȵ4.,2?\u}V.BgdV%7?t=ݲ<0 Z0 {J 49wBX͡VT2E4ϼW&#hRݲ6H1 VE>rH?.#K/5?zrrNQ)YiΕP!2o"6,CȆۇ>Kx;@s+ &|TCL5 N2d5 ܚiTdX4D*AYZ26xDxSphNZOvYDe E@NhX~sqQXB\vI]u<{OLvj,mA.\#XWo<|SUJSitjc=B0(j<52q#d/:KbWIds32K- +媊af 1vMc& ;H %CoBeu ٧i|(DjCe>lR@, gk6*or`]پ &4+LJ%b >,% #2/"}Kٴ_㟼sNv&FLpaL[wJ%-!1kx[ ۥէQWn yym -s;7B?EMs7)fpV.'m= 0"+BPV|k'P$Drb ScIg] uKz"ފhmG_6Қs~`L vyGu3]ܟq\ȮmgDH Ggl'}0=/u !s͌١>87k=مC5k04jȦ*r Ȃ:>GlzPHpx5"+uъ>@bHƿǗXd2`%6v=Jx@L_mHQ_sYygqe xO#< JPMq2 i7 ?\MçN/cw^]y|3Z LgYZ1e3bc88a7d4e14b16d2d08e74e14288b40e156df3e7cae349853bb3f654071d127673716b1e97131 e76faa548233303457fe1f8acd3f956c35127c42 3a549c94b5edcef607319afe3cf665b558a14979   Datatypes