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  C < ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.901cpu=15.356gc=0.740factor=1.947zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkInu]LSk]~pE1ĥ/IEr_ <+bVPhn3ynhs|+؇HZ+U- (\5!x6$If`p8OG9G78!ꢫa8}':yYl,xMU =3xnI0UMBЙPx%3zv2N/ ܱ9H$M_ܰ_ rqR,m8E01ᄫ6f5}P M骔kgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵JG[`8<*FswΈTbknh{z3H hGTu%Ξӳl{ADpgb7 Nw;'zk<`v/ /:QTuNh)wEc"h2. ĕ0]}1a4-[G_ʷgYZ7zXZִF! 7Q]ŗXi%;N)1{UAx-Bt먋m] {A LT|`Bk:8<0;\~ji9y"u}=c_=jdbI1i)ޞstJȰϢYh[;6TھNJܤLHca pIMOfgp sK@שCIɎHo$֗L7gDJ=Q0VՍlBuz_ȁYB|Y uY "ӣ Ř9{O<^m13H 4.M7WqhGlҥIHY]fQijw+6Ix2wji]>ic`{TzDUg{$dVRlJ6z],f/YXtӱKj OSX2}7ĦxqŏE5%Tκ0E} TP܂%~^Věw~Z&1n-^`Jm@LΥ V[U&U:48`71B~U€HGrr"BK=[D>'dY_.^7fF*e+Jc 5&Hz,l[$֭'+:rG]ǘ < 0kN:1đH4kmk7 Uz8n}A(3. WiZ^Ẃ+JmeI8gG5EsI-:`!OUR?k?w(lbO=m >h IK:2}OD j^Q5.jP<>ML<49ژx%<q!> Y*6nuF! KU{ۧfnSO'}[em?ȋlVm_3ҧ0k\7R[A~&nsDZgYZ906f06add7dd8f18f90272c8bc86106ac7e76313665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 dfc414ac3336d9c3ce616232fbb0f791ec66423f C Comparison_Sort_Lower_Bound