SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ) t ]/ FunWithTilings:threads=2elapsed=20.590cpu=35.640gc=0.224factor=1.737zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jjzQߨF2u>¢a0,b*ZN$ؾC<0Ör| Dc7( \]l:OZHi,dgrF0NkDsk|r@KcItS3 AؾgYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'u.[K[]w][*_Kl}YZ7zXZִF! s">]ŗXi%ή++>* 靶F ([V-m⤀{ɼDR8K-Wn~ R|+·+Uih1y}!aT5EmBچv-3$ĞĤ`1)csoc]eCilȺhhbZ- eEm2?8)24dܐEG`D`KsWHَ@QUNV.!Oo,9M^? wC8X2x :xў]_2{ j6LL7蔼[ӟL@,"I ܐY!`֢=mFMg9R7T{"QcگmD]$Ko%!&_wKbho,|׸؂ \`CLznM ǐfCVo+5[NZ7! ɇ][殮n,]}EqG,ÑnNL*K:bgSTo! ^s@/wЎ'2B+N*~tVjFM9&Aq0ΧR&,[&ƴV[hm%r#Tym40wmvJ7j l2'o$(U7v*PF0װԖ_8XYu x cX"+}"["tuh'f^79,mJQ;&dXG]R^n;vQ+kGsVQF=[+ǶWhDMNX#|KqOk߱USJ/NӱKx]>*#yuz Y&dӬDqX|AT%\I]nrH[end't ȓ7wbqy[yg ѱgYZ450affe3839b63bbc1a6c0229e6d9b3515096a9600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 ) FunWithTilings