SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 n# \ ] Optimal_BST:threads=4elapsed=11.730cpu=43.044gc=0.912factor=3.677zXZִF! %]ŗXf[&]j.F ͑i`1J-/tb/Xc +iF W] dhbVH}h ԃԕQLӝ&yK"|#C D~.J\N~_K{ⷔ$7,w%ygSJ5 %̼ٓ$+둑 &p5㴍i 2`YdD={ g*:"r=3?!a3^M3IvKg׉Bn)7ײ g2nKfm7S-(VYQ,5=^l2%|Mb+t;=3wMX h|l!q?N'W>O*Y!e5`o7P (ۦ9`t2VW\hh8x3T̺TX~y*@$eנ ׋SL94ASY"Hwkj{*A;cRU7=gYZ7zXZִF! =]ŗXiɟ.#Vv&FJr2[:;%_|Q O Ya50'b3Iq8,}-Urtz$ KL`=},}{1(C8!!-E%(/v!Tߟݥ;{a=,v$h;pWh%o,Lg7mnv[O:f?ٱgYZ7zXZִF! V@]ŗXi%L 07.xW!hfn3&P+0X( f댱z|Vq)Pj%gr9n9 9 WTmC1!djqtnmICղT&5B .ܚY!,~g(?% Lf$h#R;tg(AO$7D81Z˷A*ֈQ;E6h}MV7ЎzK#?hᚴoWcjᕉ-ز,u Ҝ6 L n4]*7P¢Naa{YZ}0r /yZD @> [X6@޾wm܍X:X1nY}iq8)Ʃ6| ?4Cbp9 1s*O8C/;&"B$0™^Z'8?'L <bہqQuW>vFr)d;f#FtS n5Xl\0GI]M&eOI?(upHĦ*k"LKZϓ#}2<*Am\Bm^͢zKyDN͞wE"M} AT7g.Dk?>ZK=:3 oqd afܓEPƬ֬;ZK> Id(@єj#cH."y?