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  \\4 ]S Show:threads=2elapsed=21.015cpu=39.700gc=2.044factor=1.897zXZִF! W']ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF\-3xK 0G+@Oi_I0$ aMZpu@ҵ𳐇"jM8r@wrF(LP?ak ypD"0p }IJ=%APVAnM"#v@R&xF4 bnH6Ϫ}g"oFnfV9˓;Ī@bxH-^gY%:l,HZx9\DwWnWeoEG!U1;VɊ+x#}&o񟧦$Z{BN^K5 A+D@9,(`q-]Oʥ]k6hx7*]fMZ4]gYZ7zXZִF! Q]ŗXiɟޅ*-qb{lî΢ފ=1o##ZB#<\9N_ӥϒ k*Y6L;=qx23 Կ.@k F\Y:;63#zo1M7ھ s~1TٽDXqiQyYka @r1^ydB/(]?QD}_aKj z{Ann6෱gYZ7zXZִF! n]ŗXi%W~лk\fA짐2wyz\ r@vXf^+?ij:A HnޤglWn չFdnH[cBN'=Dur%zZJfeG$״2/ i/$M}s/,~r8F7{71}zy3#8~ Q⾉IP Kim?YVFt7+x%_Aב2VbDWA P)`eQ_N* cfѲ5bֶ68Kb \[A (:-P͟6:4 Xo=a =˜A S-(հ_h,'˔oǍy<(w-MJ&yؖRqҩP-'!,IKJhc"E f5fB م]fVbZ 6y0RXSR^< 8= neTewm⒜?r ;2 TJO-аs@K8O{d?ݭWu_ g#N6y9A+]b}6$`;7kNd%^}@p]*A~UgBHY&^\3ky'] |xb:+S;؀gũ~U9-o[BMS0 >"]jcdCoՕ*BRfð d5qnET=zw.w.U`3-[ȁ컆b|dd4GD,`WҎt2'8 s O.9Yz\Σb?vZ!-9T|ebko03y#aYG,OuGu6z g-| QӐ7uMK0*?#P 2Z`䡵H9d,xT'&5.; \L:| q [AgYZ73c21c85d83f5dc0e445f1a62e98e433c465e1f8d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 812bb146d7081320789b118a45128a2b84fb0613  Show