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 %%XK $| I Random_Graph_Subgraph_Threshold:threads=2elapsed=11.366cpu=21.764gc=0.668factor=1.917zXZִF! CJ]ŗXf1-/6vR[NDZ1* )# rof [iX7C 9өa] o_і? mNn8rQ)^kBfacU%wf4?- F;R'$@|ШB 4ԓ=BY["a=C-BVEA!(芹7y"nOyEg_D/=/F/6Yt܅H*YȫP0d:&3@#s`KݍiU7Ҙu[h[i>iqc ]4f0jiCwXCdCRjѽ~=yv\[Sj=GK$;?=t Ih9IOǩK܇){9G?dQtwvcƥ| [~A[H*&\ rw *L9-j-΄~i.3QL 6 - } )lBݦ5o ͑..Dr]m0Z)ίJ— W:8j7 Yj?8 t[3 ,O0Qڜ:} >V JgF&Ul(*^i+CH^׭\[D»+IX -c5QrK[oCr!%Il&n⇎d7?_2ĕ6*%I4+>B?IJ䕮@eMTzSA-zq/04T)D<^oq}+/mr*Ln9ԞTJ(WY!L2?ewC>i^gm)v#W\!X?T`{믑BjɋEgob QR#rQV_}*ZhжcX&(=p6\7ٔ\Mr䍈b!:4 nhqffYJ:,4i)2H%wշ_hrx ư&m?^4VpR'? T1վ40t -Y'N":E*m>bN ҥt_a5C AMs9 ЙxЛ_4 k ez'~Lާ2fQf#tDjɼzWMv6aŜYv`%la%=T?rM}-7.*yȩ[DkvU]k?M.d%bP >iH;"{Js$ uX 1 PS({h0FĐUgYZ7zXZִF! A7]ŗXi%i}2OjȫmK{FŸ~D1#Ioټ~^{IH^W( ܢI'X.Ft =3r9դRm޾碚hQW_R #G6nr5VjrÜ:<uR OqBm|il/cͮV<bR晿aPP^`N… $T 8HV)> z:!:af(#%Kɬ’mh!(ғSx8~N ]Io*`t:EQ+MwLAx^0@̫VEa-ͅgkm,qvfUC}_f\#ZX#޶-*oy ~_Meuj#5~%N_ō ;$.ړjay1D >RxuY yYY-cg^e;KYNm2o{*nHHg|xN QraW3m|ǢS> 8I#޶m쑫b),ELXkԂ |`{z㧺3m77N5cY j@i m?莺g r]tBfuf/UR&;BJ'yi)3[F+02FPM:N诎Lkc zmkjrw \lzY=m{z)lM 6rLV Q2rR<3lz-2r4Z<]A 1y.T+?Ts6A7 ZgYZ54cd8b9da81da676571f9ec93abb35e26767139d 97bd713d5c01a2a65fda9f4c90f5dd0378e58225 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a7607e1706918d77353cd51207a150f0b84fcc5d b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 8b11d14c63847957f15ba20e9bf48211fb5fc1f4 dabd51cf4018e274df41b1d3b84c91f73c2cc6f6 bedaa9cb61cbe2ccb3c1d986f4eaf9999827a8b6 61a37af79245f69814f7ade843ffdd291a26d0b5 "K Random_Graph_Subgraph_Threshold