SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ~ 4 / FLP:threads=2elapsed=22.124cpu=41.052gc=1.508factor=1.867zXZִF! ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qm76Fcΐ\s`S*5;<>2e|}/*^Qyۂi4V&~̸^O c48<="ZR^R Ұ`[K~OVfAQF~jUyLjGwKZSMMi:N@׾}*PnRGbDh/7q"`a6;BPvBw7zπdGA|EH?QЬ6Bj( L\uÁH55wt% !ީ}*FvA:Ӣs "-ZK@Sĝ8̶DXJgiM KΠɌ=#N'+.Pz LIyB(snD'O1KfP:Xy؎PrqcwZBſY%Ufˀ"TRk!e dc#>?{spڄD$ <7zCLB DռD?%L۹)HH֏ >5:_Rfj:ď<՛`{i,q+WwAO<hOJYM_۠+, ΛS) $B!Ӊ JP۠PGp֦A#}bc.`b5țG B/!:ŬU^e-vt.i¾ښ§bt[gnoi0R7,W@PIR<=9ѓ`i|(N>="t~.Z.ӸRX0lUh/hj5oqObJ1qʍka[ a_Կ*>C)_P (I6ܔXo,uH/ FNLo=&W{j2T ~\E׬hݐ x5ssl`6HѥgƑyE씐0åzV듽۬`eBZ{y6c:&s&M1 mO{LR3jF,s?  ]^+߭#2XT:e?h콁<_j[NI6y6-1?E.[{ZՊKf ͕ 6>mĞQEm|6q5}V(;=)13 :|,lqϵ#ܔ oE ,T6‹X~Ҫn35[{^%C/))ժ4EVa u>-Nknft;*oVceXI! Fs.YyaJӴR[ %OY.:՝D4RL(3(.C!Q>a+!b0fA/.LWu[s jbnj^6%١J )g4_wˑ ~$ѯve]nZ_!o6)}T|Uq }~:Čx<2M%my4-׎ku)CZc%oPཱT"VRBn (I$Hbd⎲B7"WlR?٫S=}-9j4ŚV &y=a/뒼}DkAi$ׇR5sVip %s CB :<^Bl=-PihXSo>oybP1}ؾ Nݻ2phc'-H=Ț||8^hbVaXӬD?dGQ אc33lwFJS&Z? 0O[S'Ej u͊z-!=tUU]`AILx>}6ڷ<ф Zt/gYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1  FLP