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 00M LD< ] Optics:threads=2elapsed=12.561cpu=20.500gc=0.396factor=1.637zXZִF! h]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~ԱljpwşxeHw;ƀۍo/!l8{\c"̎253ZR%qB{DKEF4x#w=VxbgzghvW $Y?6>k)"WozQX"x?]Av5ÎϢ~ lCh\V%bh` !@a/L9RELt@ȿoPD[Xs$nW1*]Ʊi0;^/B|zHQbq>; nW`!7ί堊I=F[aӭ +r眆4]P>`GOal>vVtZ.8Vh}{!'ZU%oF8*!ԪaҲǺ &1jbhbWqrVgYZ7zXZִF! ]ŗXiɟ.x<3,6g(8\zpNoB`b]N_W96,eh ZS^l@Ü]#c ֮>7 @DQ5Ɋ%Q8z챛z  [.r,<# xKrp~׊7Rt;6bAfel*{:uQA#%Cz0kُ2B%.ݕ =Tp/KN=[9%k+f{#Ib r/{cw\gYZ7zXZִF! H]ŗXi%9#qw89DnwzD{~g40j-,g} A`֬CK^HzuC^x.HljLBS Kh~AѴ>n捘E7B f ZpKʼ̋j#By3o)KaEe@*SY ɮ ' ݢI&KpClEɜ"N\oֈoAl&/!dFRG6٬PF^g5կj>I5.3P{j+Š1q .T !tTƟ溜pABoBLy##gӿ)k+0JQ?ZM7lޔ\T^Љw7u"GA1}Z_'MU֛S/2OYnċ֮Ggbfɣ7밝' ]*3Rbn ѳf(fPVg*ny#OP\ ӾT#:Zu%T`28a_xgiL;֗C]/sA$4LP/RnrE]Ӧ<&K)29 |ޓƈ4^% MgT^f˙"j%@,.;MjJBS! 7