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 A L / FLP:threads=2elapsed=20.395cpu=39.752gc=1.468factor=1.957zXZִF!  FLP g <]ŗXf1-/6vRZlh[`QA\LA_=c!z|@QmHF[ QY!f=:KOJ${S@+pcp;4g K{aGs쑤Y3BU[KbT{-fgh(쉷~4GlR~""N ȤTa:<!!xw],:SG"seIG%;PT)co+1҄|_Oƭ-5RļV@F,b0~NN.N"e҅ΨBFu8Hnv"2XST9?B> bi{w(>ӇB@\E{ryzd1,2,@BzL1 kz?F.SV!Pԅȓ^(eO$Q||8A]b+E<8V'X1)bJ$.Γ$ʘ $9갚}g-F,8`+^B@5-nbwn4gܹ⊾/׭*p/R%Ed/0 THҴ#Q&A`}2A8LJ;~r#0Kː B1$1ȼS o{t(H.{  2ԏ}ԃ'id9Oك!ʻ4gdfV Jtt|dRDBn;*I y,!v۔~,%pѿ33%2ZT;닶HO^sPSX ;n5)[L8yK+\-1k}4f`L~;:X4|+>t~sJsuA( {h_+ C/IW{X".'4K9 2yT.CA3\֎E\4qXy௣Ȗ!#msR D}(ƶ0DN HVhXĵRi*_jZvvNZ\ςs84|i1؝|=E ēUau*"'.m>K;]ds_D=(Vz P~rv ru>u)܌VA֥tD?$f(5MRF|́p2ߋܖ~*JzȝPFRTn3urZPu _'MpXbbUD9 hXEtݵNE Z |h=I uXDkSZGx`5J1оʓn7{ /RqKn׋8{!Uo)`= 04!F> vw*Pƫ|{̱AgLίɣ ̀@ܩ4UkǍI/08^EE5O$[U=EaZ27r!DV܄v52mrqN,lcqC8)V_'/,Us73_rF߭Ss|)>v(1itDT|\(EUl.T/IRn0 &QZ]uhA+w^Bn,2u`[nNIrJ.ɕ6+t`Ԫ_g/ eW k]~[\GQkyv|jX+yeD].aj"vx9mʇxo7\`m JgYZ7zXZִF! i]ŗXi%B׆ 绵e &Rl71 dz"pܪS' P2B9eݓr ' cMSj5%jn _: OCؑ Fry#X.[.f&$ +.d^3/! -V%Τ tKd,;K4=b)UQ| yPfhe6Wϊ OAˉ*Yg>UT,݂\$#ϋI9pCJWZ *DW894rqSqZs F% PG4zH:B5BϢؽbzRk+)`ұ rcޘz7!]$ϟf!3|wӍ;}>_jKw,x>, 1a\1`"vܟjr9ΦKkL S@}(ڇ[p+ ƾWpff"/9J1~9Ȥ3~-/U6$5|-[m㲁~q~x+7a KrrqiI1{AН g,9$ VV&Є(sgt/$t?J;#B7x4#RRG`8.q8.uJ?l^)pMsRD l P:`1P1nSEF!C!ă_Cd FՆ7&HGO01dOacO~U2ģV1 ΜqKi`LUM^.dNM%9mbWo 9)/6bgv# 2RBU0I3 Qp5@89@k1o3Ks9/_m#? t!D=bڃÓzFC$%"a@_BWzQ3WGEapZ鹃&muAjojm۪#{*hM #-;&5TpGVA*KMNNg%g?TRVUj>45jjLCF-c䒃[Bkp?|C`o549RVW~ 08gYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 601be6b8d8a3e762e5e803ec3112fbc7d826bcaa 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295