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 lK dd I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.405cpu=21.868gc=0.656factor=1.927zXZִF! i]ŗXf1-/6vR[NDZ1* )# rof [iX7C Z%CRLA ĥXd1nS/릕zXQ:imzj(˾}@R܁If؅c OX%)RRjD?~|,R[ *}zvz+0t.l-]~IBd;u6[V#!gNM3 /zOF*ooNK H6aӎIL`Cd^|X@ve&P$k'@>1׿A Bvb/2:v(k9`oK 8+%>j%Rfm)qKȕ{%D14L间RjBj.; ΝjД٬hcZJu739U >}v41?AY-KlF&(2raUA {G+ݐ1X^^82MIi!CɼeFzll5m(yuţXsϺt] * ;yJAd~%>%nhE0/g'YO e#=ܼf36#䷛0v,u-]*m<[)Z.djQZ[b&,S]t ޵O⟘] @ԃk0SXFjN>w!I|2WqG 6^ @jl 3ۖPG_p&ܵ y^YAdyJ@{T{536+3lDh A* ;2h>bѸ#_[b|O؆36I'n7}t?ZB)l c}l 2HnBT@ԫr \+BzC UX=>Xcb "ch'k!ZFyGӲZBO%9^ҿ_|oD _RZ )(;t5j鏁i>0p2IЍL'-gYZ7zXZִF! A*]ŗXi% ܋js ;JqvKA̚ƍ [t=dCcύ: d1v[6P@(׌jEyCnAK4"GA_y+|9E[|HƴI$t랕):܌ͭ9oß(fu-aKD-9XnM'4m}Oz0CHՋ.ݮ={1YEKSN} C#IU"**GA|#=#OrA0v8p;JehO0b%"1Ұ:WC޹}(b39&*b[eʗLF,IJHH7f6KF9~{)M5*1_1;?8 PnAxxXJ pA5Hr}VTw|CҘS҅nwtǵl^@3ykUA03FHmN1~06 |TLʺoGIapơ"Մ!j\Jf[.%0Ed#D}ڵGajybo@M+{tޥ@UDw9 V;ReKP%_iB3+SI6Qvu H(D\t,XIg;/2 ؗǜ-gD;T"/=)`0J`K-#(N]IQL |v93ZWKdv4|?xPɊAvEk0&#9\ HQՅZԲb{xF3kE+=}[Se$R謨׎#B|