SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ==4 $D S/ AVL-Trees:threads=2elapsed=19.089cpu=37.940gc=0.848factor=1.997zXZִF! 2K]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z6 /QY_x(H(Fp5*lV,ٗBG?eO蓆7Y 0"`.-vzg?d6Vͤ *z8Qa9$]yUIEvhq=Ls})ɼy/<\eؒO}ANťen&QK.@ӓXRKh|L8am2*h WhrȀ4#B&^qnnkؗ%h w l5 usqvNj6S 8{';^L,k9q ~DvbWZ ?(7Pm88Q Kh OW1"'D \/LT#C/H|uKC~# -ߢBa} ] 7_( >Q@g}fU/-&Qef@VdvtgK&^ Y :{1mw>ˢ5ޭ/ShI{Fc84!ffnw6Z>pǠyt ˆ&Z¾IPW{Bd{󈾍]TY XH h!-a|f^R@=5ih́UIJѼpd-#UY"Е+bdhwh;o6}J`vy,z"&zp"ѩ!5_ =XF>*g `S@+$J;?AF k5]Ud VH>_Gycyk{ez+gYZ7zXZִF! `x]ŗXi% Ϗ m2\ɏ#1kLvw4#~1"4ngα[*CN|Yº AW#P/59.P;EK_:ԺdQ+QJ#[P@7Wjc+gH-:ѱwވoN;p mdsŠ^w\ci,b;# '"IJW(ToKi&TTzNK+q˓J@_)mt KA02">H mBx &>oul/l+UCCZ!;Uen"{VV"h%% -#mX9~9AtI1tc}w.}-0x(nq#>B>sSf"{N&Zol `TcZɄrOQu\3kBG^{8 /Aj,AlxpJFzCmnÜLKpU 3V:pFIP렘UuOZ^I Osߡcf [{&pl0H}au =X ΄"I]B%+dڮ,8CV%"v$|]M0'IJ諒E0AT#%;6c4,=}0 s,H.s=lA7YOu&g'gEӭ<mp;>3Me KaXm5%&:Zao?u,Vthv|X]0EѠPw"I,(ͶծT#EBZ]d*,,Τ$^=țQoHrkb<Ѐ 6-64oq_PG|]&~{ߊ)LM=@cV0,AlRѕQK|dP?i}@(h=K˙SVt;~ G^R.6DASG5h4F߮xNS_:T䨽ڙYAk]_O)qo &XgYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff 95509ee0fc53e90b925bc920375335cf076d17d0 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962a3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd