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 jI\< c/ Abortable_Linearizable_Modules:threads=2elapsed=83.395cpu=123.792gc=4.772factor=1 !I Abortable_Linearizable_Modules.487zXZִF! ]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51RW\9 =WכJ`4*&0N볣?.DImMkbl B]w){:zC,7FgSO-c<:7$;gWgtNyj壢LʚΑW*A}x&P$yU@ ]M\`[L}Ga;crOi*` VPdf_5qOޠg-'JY*6ɚ#欥VODs{⍝8qF|B4F)JхviVݨƎhߑ{2U38)Kno-1Thw-{)֛c0]tgEM\UMG][J BBI)۵˕" Fbk.=ꗰKOTgDOtDSk7Ooda3!OL@y_u8 RLC\7-޹XϷ@ NUnrnY͕ߡLQU4p3҆2zCZM '7? +qv$JWn:6_$~Nm}ϝ?ȴFmXxWfPΣksURy; y ;Fwdϱ+lJݎU_ʷ:ez)J:XLA,%n33y {% J^UB15fcpA{3(5p~i$jǻSGFUVF2gե4נ[Ur ܸv/]S9# yFShۖ%Զ3|@܂}'Ae,̺tz1 vnS4,ǐ1k۸;j2]d+3bE58 _oEEwBZkN1"wZ$&pRKq _( 2f!'NaCv` iuAڎCYno.&#WkϘWCemB]iG0l\A-Yz;#8?h۹?oQNǴfnٟC~ g@a㓯~9%\*ꞑ{F̓̐{d> ɥJ!192 <(+iM0לn)xBeϞDIFbutGo~g3`XPOvH,'qXgץ 20f"y@cԧ.*0@tԩ(y:P[4LE5&]J.Un([ӓ/:"IeD҈,]}=.Kp:Mz»'O8Q<MaU H*E.26Wh(ERgo| ;:-H˧~ǝ:ak=PA+|nߛ0$4w}IXX=|07,]RYPb+?dbnw[>#p7}\xh1.+nuēWRXvxjUt ;2)*5}+  sltE+sH5j#PB“/(ppt[V3{C1I{Ҭ߸I}y|pkMAаx,~-xԇy?!gQ>ӿӑ\0V!MuHcF*MD^` *a V$5% :d ytf[rtd*-Z&}&^ H_{.l;l%*gK:@UYD׹L,raOBW:D\բN`c5j{qZ[JA}.WÍϤ#@㉉ˮn!^HTjC,A}q}GDB)bO\zW?%V3SS܈ǼXN?iBKuT|~N#eKAG$m<´&l]3j4`@)+(QQg߽X ZR Gv_ۥKB1N~ j]s i H.y4slQ׹}] U t rpQ2? iSm~Ђ87*4/7(EHql0ȱgYZ7zXZִF! ፨]ŗXi%HC"">dT(޺&ɒ#/WƧte~+uN3/ZCC D l\|MkO Ko/L6m]hV苪j:}9٩HvS?I7l&ew[έyeט5;zUAJU5SX'$UFI3 Cӕ&*DYEWz{1!}آ"R% Op<#|YnvVLNT ؝!ڣG 5V=RH@M3&k݅QD)loO!.W$̦RY}Pxx]W1w%9bnϛ4AqQR*:PB:rX'(Ϧg0ڱȵo9ɼ?IU&}uҀՐ6-w M<3booTsHX@HUI ʖSAqաՁu"!6D 17&_y'_P' N3@eE#ZܟVp_R,H!ŚY#SNgpza`SˁiM!cAn٥=`\^WMl^6.si!Z6鬻~ 6k^ɺoAݕSGk;ݚ›eMY1sdO&mY#IH-O\Ɣa7_%ľU4և0vMC%)K- b.]QyF(wA'ttTs/x2ΗRpm5ޅT$h*BnOˑF&:1ub ^6gg!3we޽Mkױ[2H(} CL=t'Ay\I 7 xH@rGXly:^;R$(%?UInۭ. 85gv >TaE|>^= a ()3KF}vK&+G"w PҌPo̥St%8wN}:(cx1 lMw譅@-y_NzޥRh(GvK,W:14I)89fnHvc ,4ܲ']U -\hRd"aޗ9ϐMG sDZ'?luøJ2B;IQ&!N#,S/*,-1GZ`@aT'?+p&þU_gbBq K]!b@s{fR Y"0 !bertO7Cg8 vP|ϻdgpaui{ bPѸQ (A@7䌩7"hqF(XBR8,#2R>c+{YfbL9$ܥbP6kpDgs}Gd2fO #?KNQ@vQ0sWVgW@OҤB%ot/z'4 #?|KtFl 0(!Feݙ> ?us h.o GE0L}.f±y%YnN(0hbz~9ʱ4 0 .|E| ~kqo8fGjr=F"NA<Ev_[@Q!Է(,Lƽ:47֏:~Jm@C}*A5~[ӲcK;J얚<^*Fc{)8̭53lv [m ;y_"_eQrxaO %8nڧ6׹Ac_Dy5bR>F8.T|TƄI &;d$Bqnrǰ9VN51_= ͸Vnckcl b.(g"db,+Bv2'OeQVW資WN # xsjd Lѡ'~<L)m@dKp,&@<ک.KZ?尬1o{'UsV{|@<yzk[3DWFsHg\^B5jsH:lE̖1F 822G.$Oq-VlB:s|>P;AOv^ hs 3[*e/pz4>޸ yL5P}^TXY\>i- co6=ZM|m{'L=BK1Z>v^x/JҎDVAg*ao7ASԪwJGX^C|7+]P %rx]'=52BQZЃ]Byܮ?xxҽ?/ /Gw픮HJ0d.5XEUN2`<ܼ}ob4KY(+$T*['^(!G"XeQk5Ѱ6:𝫓G"ѐQP.I~s A}̭&"jVɯj0sR 2c'Ja8¯'NUZ<'hnmRL&#w{ X^/fw%)Ly~̓$J@dY+%E+ $别,_+b>_=TK2?N[C"Pts`^y2Oɯҝlt5Nbٌa^]ߔ;uåcxl3*QR"cY1BXgBJ{>ЍO{s"+x;^Yxc kC :gYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef492718c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07