SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 vC L|\ ]S Comparison_Sort_Lower_Bound:threads=2elapsed=8.239cpu=15.228gc=0.692factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIY&ba׋UWD d a5ZN<ݽ8;e{mj{9ldzfe%3mdab f~B[R+BA@c{lM܀QǓԪ1zseKiT9Q2c`pB'W|JNtB/݄V:5ۻ`oV1^fux[)QXK.jB`[@f GD*IjDM ZYyNXr'SXet &p."PUm<,8f9YU+/'V%cċa.&5|61ٴĽh(LJgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۹qD?; 4Bv SĄG2~b?Ȣ'3ĪJ! 9S0\ Pp-gA{6$wc+,J{v/dzj೐6 Q1Paج)okeq\trHgnq+]T&gYZ7zXZִF! 7c]ŗXi%>gcKX'QwѢ]sc>:@PѶ;_9)=K.T.<;:x/)b-Oi3ݧ7p!?4H}y/߁gI:N:Oo5 bͧbOzf0:ܝFw"@5Q ,ylHqa P6WT2kZ6 O9άU8 Z{U,&1'UٟYU']šEAZA GorWne{%l::{ `Bw{b:p & Y9/*.ns$Nas> y[^OMmY( d`)PL̾y}g=3[U.uW=3uԓE;Qd= @J>V!斫p!aҋOyw-yL}֐.-.$&H@KO\HZʅ 69kW2G݆1g*MvS8(WG-> MdPZ,"d؞ ouXF[lmQ]2b­}U#,:dc٠o¡9Drm6}aI=luU'qjzhW%y8u :\ܨw7 m9q2^fo) 9]%%?897R\]7X{^/3NaIY \OWsـCv,U[/GNE9<!ǭj*Gڰ:»X8x ayLWn*dXgYZfcc57cf455d39c40a13bc3a41cca8839e73caa93767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 c9b35e1dee9f5af2b941b1a5cd8a9ed4999ec661 C Comparison_Sort_Lower_Bound