SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ''J3 4L S/ Impossible_Geometry:threads=2elapsed=12.924cpu=18.016gc=0.508factor=1.397zXZִF! Y]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQJ[tArdN@ώckNZGt.nqJ\R-j6w[= F?ﵥUI3ȇwtɔ}6įp a dY4hڍd"A JTJ0mclZ4UЎqe@j~Tg薬|o]M.hͽA7 *so~C)ϯ<5Z1:#:6d2dSNL<`.^&b,]89$D tOhT.M95 )l#ˣ*#GiX _huT.)plv1cLtlT"0e(ERߴYIb'qJtZ~ԓ~{]dG0unW{On&TN(ޜ*Vp;~hiάh2|߆]vl)\-Rb(opw/'.M5$!07"Ǟ.JkᾑI G п PWGB0LԶ~-_D˱NwnQ{p$\ 6/IV|x$w!閧|jrJ)s 3 Impossible_GeometryL(z亐\H:b ;YëdvmOm/f(,S,{=}uBcXl?$ V++뤲5O7DR7;l-䂆?-/: tXƏWZMu.UsgN.o'?RxE]"YjՈm:1_q! V $'hsoɤrÉڊrlyY7Y)wݫ*u2S3k/.mB)dBJYJdm,\['UNћN:bY\l F{&3{6ge;!6G~*ŐCeo y> &.c3#]]/2D8Tfv^nKc-44 aTs!K2} 0)nE:e|͑QGa%1D,#v`,*2)k?TL=EjTIø_ ȳ51gYZ7zXZִF! H^]ŗXi%H˵5q` ~m"]UMyLA GVn+px}楸7| ~siosP{)39zKW5we{ MDc](cosũ0k =dB'KZsF``0'大P00M+n 2/V{L6T~٫!K[U8^ks~'w@xl5yFBUk?T;t:Yp^^plMMn¼z jG2  "&Ӧ^k0ܫ?jww{Vrh׺#7&$"+{kK @ygeg[ȯ8։8(گ;,.UxˆpUgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07