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 pp 54\ w ArrowImpossibilityGS:threads=2elapsed=3.513cpu=6.780gc=0.120factor=1.937zXZִF! 1"]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1:"ZJP/MCX=TCVk ~n^&6,6LR~&qBG+*ՔdFI M+U85,Bt(H:=3a;VgaLBɡ6ΫAB{`Gsz'Ʈi[1./j{X4#];E#&kWֱ%||>_Syf%Lnw aPKPĞϚ oۘe⏗K!]j|Uk MX`HbnBT~Jl-gSbwb]myQ7 Dc-i t<$F_~YS ww=ʘ ؔ!tNg쓮<}@(GV"a_fovq Dt;y~'2GoZ_,(d4!\XXQ,Y|`Á+Sp!yOc.a6wGٔi%YQ#v[sHl, #9֪+bSgYZ7zXZִF! ]ŗXi%n85 `|Uo>dzy>UVW3YNjKpIYb⭄?r0,P.G%`GȃT"7N0'j$lCXJDTnK=G:) 8>)6o)0ֵ.:766$ {@6}Lb+W'f*k/ jAQr5W$Z56+I]~S ɐ|>2S_x-t5}j=1쿳2)T:I(NyrQ̂DF˞7y0B#+rco=`,*<>Jj[JU%WGBL.Q=zdksC>$(Hb]{{\DE|J+Sߓ_= ?QxxKcUͦfܑji^R^9]fs1}KT^m- A"o/AeMݪ7#]9F?ٚ[fx9cl2l˧9I.Y[_ Lg//h,/*f}!crw#A3}jSuE<:NiÑzݤ^ځpCi'E3l34Y5Re>7'gYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb88c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 5 ArrowImpossibilityGS