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 S% 44 ]]Regular-Sets:threads=2elapsed=48.671cpu=78.336gc=3.228factor=1.617zXZִF!  ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'ǒ2!˓$,<ZVP`¦uk!1sH0Ϩ->kLLj^Icyw"| :9 :n'gceI -ZN/ f:_f7g~U=ΥyğƼ7h, jc/BrEx* ֧Tk~=Oh״5yOX4@pDd#@W7;Ww<4&'ғv9|k*ʩLHQ$wKywxYqTŜ :en7YlP} % Regular-SetsՏȸ)[y]K!x/ZI8eXH @eQ66+&<3W;~d3^-\S8WmhN&̋9:rg8-R1φ[sm~wȩQm-+<\N૑7Cq ΥY%il>0o߁aW}~h\/=0 b|Avm(Y 24Kч|$9p7-ѻ;+BԲe"XqT#8?|Hti@[6H-!~g)b7{jB 0/č0$)\I^VKnuM^XT+*k"ngYZ7zXZִF! ` B]ŗXi%;Ag^? ™}J*6^R>cAtQG_/e=ާ>쇿ߣp@GU}v,IܣnHh{{/ŷ4:ӑ롶(/ 'gBcܾS5GS2'=.؄ LTζ,#mZi\t-{fBo$E{={7slTY3b97ɍ'1 e5FDq!/mE9640͇,8Pϐ-aRÔk;TρB[4KuRlf݀ZurC퀞 Hq$eN;[xX9AVf_Ğ9TםN=HY],`j`^p#"13-XШ:i8p?. /qDQ˟Aag W;oiJViTM`Ѻ8y2p*sf+J"3iyR +ߠz?bj6O<Ɏi =.Yho ,\ (Ki$rtpF6;uηՊݴU OF&ݿ8_I"o$)M͇ " '#v(-n~UhuF9~ꤢI͋ <:'8,b+9> F(Ǽp~Fx3%Z\8b ZW R #A 9MLqGu%X^0f;Fs@*)>@*HXBs0)K'7H+_[@o-`7{zkBβg#{ k.nQ8a9b8GcP:qz<@mkR#^li9؀ԥkA}Xk>" -ä?% :ř/&F*#u%Ӆ߻x bfrES>Oό^xWMӯ"(*& 8W_5?;eS+~J/U?I@`1By;th/N9dȡߔ OVT:LBw^tc:}ߞ5`1ar|*(  /&m:PRQ\j5m1gU v_bh.y;Ө'3k)~}L\0<#Fl!wYa0| e?Ǣ7) 爻Y %│f|/$QaX<e@Gs 6W"4bd"Ts9|GQ!J=qnjT5 >_m5 ]Zg4o_U,`D4"uR?nBf `c(o&cIPM z2Icݭ ԦhEYmal/'~_D1"ԉC(Nx/$k}pH׀ngre5uIWx4ngYZ1198f13797d7e4a3059cc3fa9249f566017c8f9479d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04717b0cb54be0eb7eb4824d64f17b964812bc9707